Hacker News new | ask | show | jobs
by tptacek 20 days ago
You keep mentioning seL4. I'm curious what work you've done with it. (I've done a bunch of L4 work.)