Hacker News new | ask | show | jobs
by dnautics 1811 days ago
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.