PrototypeCommune
seL4/microkit
Microkit - A simple operating system framework for the seL4 microkernel
- Propriétaire
- seL4 (organisation)
- Étoiles
- Étoiles : 212
- Forks
- Forks : 86
- Langage
- Rust
- Licence
- Aucune
- Création
- 2021
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de seL4
Les 5 dépôts de seL4- seL4/seL4Étoiles : 5 845CStable
- seL4/l4vÉtoiles : 656IsabelleAlpha
- seL4/rust-sel4Étoiles : 221RustPrototype
- seL4/isabelleÉtoiles : 143IsabellePrototype
D’autres dépôts Rust
Tous les dépôts Rust- matrixarkai/TemporalStoreÉtoiles : 212RustPrototype
- dstrml/wuÉtoiles : 212RustPrototype
- netmojo-systems/omdrop-pluginÉtoiles : 212RustPrototype
- json-e/json-eÉtoiles : 212RustPrototype
- stepancheg/rust-http2Étoiles : 212RustPrototype
- system76/firmware-updateÉtoiles : 212RustPrototype