Hacker News new | ask | show | jobs
by __bjoernd 163 days ago
How are SEL4 and Genode going for you in your day-to-day compute usage?
1 comments
chelmuth 158 days ago
I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)
link
__bjoernd 151 days ago
But you're a main project contributor. What about everyone else?
link
chelmuth 150 days ago
Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
link