seL4

microkit

Microkit - A simple operating system framework for the seL4 microkernel

189

Stars

74

Forks

58

Issues

Not identified

License

active

Last GitHub commit: Jun 22, 2026

View on GitHub →

Contribution

58 open issues →active project

Dependencies (4 total)

serde serde_json rkyv roxmltree

← Browse all repos Something inaccurate? Report a correction →