4 ms·You keep mentioning seL4. I'm curious what work you've done with it. (I've done a bunch of L4 work.)by tptacek 4mo agoYou keep mentioning seL4. I'm curious what work you've done with it. (I've done a bunch of L4 work.)