We are doing a micro-kernel, which is necessarily from scratch although we may borrow approaches from L4.
That’s odd, the L4 kernels got code reuse up to 50%. Is it that the architecture is just so very different from traditional architectures? Or is it a lack of well supported open-source L4 kernels? I know Intel is using Minix for some of their embedded stuff….