Category Topics

New to seL4

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

seL4 kernel

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

RFC discussion

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

SIG VMM

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

SIG Drivers

The Special Interest Group for drivers on seL4
0

SIG Multicore & User-Level Verification

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

Verification

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

Site Feedback

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