Hacker Read

acuozzo | karma 1581 | avg karma 1.63 · 2014-08-21 16:26:28+00:00

> 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.