On Thu, Apr 14, 2016, at 18:23, XilongPei wrote: > I wonder whether the L4-embedded microkernel means seL4 > My understanding is that it is a fork of OKL4. I look forward to Gernot writing about this topic on his blog 😉 -- cmr +610481782084 http://octayn.net/
_______________________________________________ Devel mailing list [email protected] https://sel4.systems/lists/listinfo/devel
