Category Topics
23

seL4 kernel

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

RFC discussion

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

Verification

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

Site Feedback

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