Hacker News new | ask | show | jobs
by tptacek 869 days ago
I know, I know, I'm mostly being silly about SEL4. Also, obviously, OpenBSD does a lot more than SEL4. :)