sel4
4 stories and discussions about sel4, aggregated from every source we track.
1.
Rust support for seL4 userspace. Contribute to seL4/rust-sel4 development by creating an account on GitHub.
2.
The seL4 microkernel is currently the only kernel that has been fully formally verified. In general, the increased interest in ensuring the security of a kernel's code results from its important role in the entire…
3.
4.