Re: [seL4] Is the L4-embedded microkernel here means seL4

On 14 Apr 2016, at 21:35 , Corey Richardson 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.