The seL4 microkernel
RISC-V Guide. Learn all about the RISC-V computer architecture along wit...
A curated set of links to formal methods involving provable code.
Main repository for the Veracruz privacy-preserving compute project, an ...
A Rust-based userland which also adds compile-time assurances to seL4 de...
Basic tools for building seL4 projects