> When I run something on my machine I want it to do exactly what it is supposed to, nothing more and nothing less. So you're running on seL4 right now? How's

> When I run something on my machine I want it to do exactly what it is supposed to, nothing more and nothing less. So you're running on seL4 right now? How's that going? Did you program the userspace yourself? I'm impressed.