seL4 what exactly is in the kernel
zeitue at gmail.com
Fri Mar 7 20:16:34 CET 2014
What does the seL4 kernel actually provide in the kernel itself?
I've read through documentation and it seems they just stop before they
state exactly what the seL4 kernel does.
So what I'd like to know is what features and components are in the kernel
and what is outside of it?
Does the kernel have a single kernel stack or multiple kernel stacks and
is/are it/they in kernel mode or user mode?
Are there any good diagrams that show how seL4 works with its user space
Thanks in advance
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the l4-hackers