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

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.

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