On 14 Apr 2016, at 21:35 , Corey Richardson
<corey@octayn.net<mailto:corey@octayn.net>> wrote:
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 😉
There you go:
https://microkerneldude.wordpress.com/
Gernot
________________________________
The information in this e-mail may be confidential and subject to legal professional
privilege and/or copyright. National ICT Australia Limited accepts no liability for any
damage caused by this email or its attachments.