Hacker News new | ask | show | jobs
by fsflover 827 days ago
> We need formally-verified operating systems

Compartmentalization is a far stronger security measure according to experience. See: Qubes OS.
1 comments
tucnak 822 days ago
Intel only...
link