Project Sparrow: Repo Materials
1.2k 37
Project Sparrow: KataOS
Rust 237 35
Rust 171 5
Forked from seL4/seL4
The seL4 microkernel
C 12 2
CMake 5 2
2 1
No-assurance libraries for rapid-prototyping of seL4 apps.
Basic tools for building seL4 projects
A minimal runtime for seL4 applications.
Test suite for seL4.
This organization has no public members. You must be a member to see who’s a part of this organization.
Loading…