PrototypeCommon
seL4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
- Owner
- seL4 (organization)
- Stars
- Stars: 213
- Forks
- Forks: 85
- Language
- Rust
- License
- None
- Created
- 2021
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by seL4
All 5 repos by seL4- seL4/seL4Stars: 5,848CStable
- seL4/l4vStars: 657IsabelleAlpha
- seL4/rust-sel4Stars: 221RustPrototype
- seL4/isabelleStars: 143IsabellePrototype
Nearby in Rust
All Rust repos- yuri-xyz/chromaStars: 213RustPrototype
- alplabai/signexStars: 213RustPrototype
- azw413/GlassStars: 213RustPrototype
- rethinkdb/rethinkdb-rsStars: 213RustPrototype
- alex/csv-sqlStars: 213RustPrototype
- jpernst/rentalStars: 213RustPrototype