# seL4/microkit

<https://repo.masters-masters.com/repos/seL4/microkit>

[Accueil](https://repo.masters-masters.com/) › [seL4](https://repo.masters-masters.com/owners/seL4) › [microkit](https://repo.masters-masters.com/repos/seL4/microkit)

seL4/microkit, dépôt open source à 213 étoiles sur GitHub. Carte Prototype de RepoMasters. Microkit - A simple operating system framework for the seL4…

| Champ | Valeur |
| --- | --- |
| Propriétaire | [seL4](https://repo.masters-masters.com/owners/seL4) |
| Étoiles | 213 |
| Forks | 85 |
| Langage | [Rust](https://repo.masters-masters.com/languages/rust) |
| Licence | Aucune |
| Création | 2021 |
| Rang | [Prototype (100 à 249 ★)](https://repo.masters-masters.com/ranks/rush) |
| Voir sur GitHub | [seL4/microkit](https://github.com/seL4/microkit) |

## Fiche du dépôt

Microkit - A simple operating system framework for the seL4 microkernel

Rang des dépôts qui ont 100 à 249 ★ sur GitHub. Probabilité publiée par carte tirée : 70 %. Rareté : Commune.

## Autres dépôts de seL4

- [seL4/seL4 · ★ 5 848 · C · Stable](https://repo.masters-masters.com/repos/seL4/seL4)
- [seL4/l4v · ★ 657 · Isabelle · Alpha](https://repo.masters-masters.com/repos/seL4/l4v)
- [seL4/rust-sel4 · ★ 221 · Rust · Prototype](https://repo.masters-masters.com/repos/seL4/rust-sel4)
- [seL4/isabelle · ★ 143 · Isabelle · Prototype](https://repo.masters-masters.com/repos/seL4/isabelle)

## D’autres dépôts Rust

- [yuri-xyz/chroma · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/yuri-xyz/chroma)
- [alplabai/signex · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/alplabai/signex)
- [azw413/Glass · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/azw413/Glass)
- [rethinkdb/rethinkdb-rs · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/rethinkdb/rethinkdb-rs)
- [alex/csv-sql · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/alex/csv-sql)
- [jpernst/rental · ★ 213 · Rust · Prototype](https://repo.masters-masters.com/repos/jpernst/rental)

---
Données : GitHub · Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage.