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.05M
lines of code
58
current contributors
1 day
since last commit
2
users on Open Hub
