Nice diagram, very pretty.<p>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.<p>It says that higher-level languages are preferred for the userland software but doesn't say which language?