sel4 topic
List
sel4 repositories
NeptuneOS
337
Stars
10
Forks
Watchers
Neptune OS: A Windows NT personality for the seL4 microkernel
seL4
4.6k
Stars
640
Forks
200
Watchers
The seL4 microkernel
awesome-provable
188
Stars
8
Forks
Watchers
A curated set of links to formal methods involving provable code.
veracruz
184
Stars
38
Forks
Watchers
Main repository for the Veracruz privacy-preserving compute project, an adopted project of the Confidential Compute Consortium (CCC).
RISC-V-Guide
494
Stars
37
Forks
Watchers
RISC-V Guide. Learn all about the RISC-V computer architecture along with the Development Tools and Operating Systems to develop on RISC-V hardware.
ferros
104
Stars
10
Forks
Watchers
A Rust-based userland which also adds compile-time assurances to seL4 development.