Re:Linux Rust Support
by dnautics on Tuesday July 06, 2021 @11:48AM
(#27750110)
Sel4 is an OS that is formally verified.
It's security parameters are well-defined enough that you can use it to launch isolated VMs with... less secure OSes that are sandboxed from each other.
It's security parameters are well-defined enough that you can use it to launch isolated VMs with... less secure OSes that are sandboxed from each other.