Analyzed 1 day ago
The seL4 microkernel
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.
1.03M
lines of code
58
current contributors
9 days
since last commit
2
users on Open Hub
