The seL4 microkernel
The world's first operating-system kernel with an end-to-end proof of implementation correctness and security enforcement.
These details are provided for information only. No information here is legal advice and should not be used as such.
There are no reported vulnerabilities