Questions and answers on how to start with seL4 and on how to get things up and running.

Systems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.

RFC discussions are used to discuss changes to the seL4 ecosystem that would need to follow the RFC Process.

Special Interest Group on Virtual Machine Monitors and Virtual Machines on top of seL4

The Special Interest Group for drivers on seL4

Special Interest Group on multi-core design & verification of seL4 + user-level verification on top of seL4.

Questions around seL4 verification. What guarantees do the proofs provide? What are the limitations and assumptions?

Discussion about this site, its organization, how it works, and how we can improve it.