Hacker News new | ask | show | jobs
by pjc50 3727 days ago
Nice diagram, very pretty.

It's a bit less ambitious than it sounds, though, as it's not really a different operating system (such as sel4) but a Linux distribution with armouring, secure defaults, Tor, and some useful userland software. Running the PDF viewer in secure isolation is a nice touch.

It says that higher-level languages are preferred for the userland software but doesn't say which language?