Category Topics

RFC discussion

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

seL4 kernel

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

Verification

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

Site Feedback

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