seL4 what exactly is in the kernel

Taylor Bioniks zeitue at
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...
URL: <>

More information about the l4-hackers mailing list