4 ms·
You've got it exactly right. AFAIK Linux can already be run in userspace on seL4, and there is also a VMM. This is a different project.
by cmrx64 11y ago
You've got it exactly right. AFAIK Linux can already be run in userspace on seL4, and there is also a VMM.
This is a different project.
- nickpsecurity 11y agoNobody said it was same project and it would be orthogonal to others. My claim is redoing POSIX will likely fail while first doing a Rust runtime for seL4 kernel is much easier and straightforward to use. Essentially, like Nizza security architecture or MILS kernels but with Rust for apps that run directly on microkernel.