Category | Topics |
---|---|
New to seL4Questions and answers on how to start with seL4 and on how to get things up and running.
|
20
|
seL4 kernelSystems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.
|
96
|
112
|
|
RFC discussionRFC discussions are used to discuss changes to the seL4 ecosystem that would need to follow the RFC Process.
|
22
|
SIG VMMSpecial Interest Group on Virtual Machine Monitors and Virtual Machines on top of seL4
|
7
|
SIG DriversThe Special Interest Group for drivers on seL4
|
0
|
SIG Multicore & User-Level VerificationSpecial Interest Group on multi-core design & verification of seL4 + user-level verification on top of seL4.
|
1
|
VerificationQuestions around seL4 verification. What guarantees do the proofs provide? What are the limitations and assumptions?
|
19
|
4
|
|
Site FeedbackDiscussion about this site, its organization, how it works, and how we can improve it.
|
6
|