| Category | Topics |
|---|---|
seL4 kernelSystems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.
|
73
|
|
30
|
|
RFC discussionRFC discussions are used to discuss changes to the seL4 ecosystem that would need to follow the RFC Process.
|
17
|
VerificationQuestions around seL4 verification. What guarantees do the proofs provide? What are the limitations and assumptions?
|
13
|
|
3
|
|
Site FeedbackDiscussion about this site, its organization, how it works, and how we can improve it.
|
6
|