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/