Hacker News Reader

How are SEL4 and Genode going for you in your day-to-day compute usage?

I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)

But you're a main project contributor. What about everyone else?