Questions and answers on how to start with seL4 and on how to get things up and running.
|
26
|
Systems related seL4 discussions: kernel design decisions, how to do X with seL4, how to port seL4 to a new architecture.
|
108
|
|
|
150
|
RFC discussions are used to discuss changes to the seL4 ecosystem that would need to follow the RFC Process.
|
23
|
Special Interest Group on Virtual Machine Monitors and Virtual Machines on top of seL4
|
7
|
The Special Interest Group for drivers on seL4
|
0
|
Special Interest Group on multi-core design & verification of seL4 + user-level verification on top of seL4.
|
1
|
Questions around seL4 verification. What guarantees do the proofs provide? What are the limitations and assumptions?
|
20
|
|
|
5
|
Discussion about this site, its organization, how it works, and how we can improve it.
|
8
|