seL4/seL4

GitHub: seL4/seL4

seL4 是一个经过形式化正确性证明的开源微内核，为高可靠性和高安全性的系统提供底层的隔离与资源管理基础。

Stars: 5643 | Forks: 789