Comment by __bjoernd 1 month ago How are SEL4 and Genode going for you in your day-to-day compute usage? 3 comments __bjoernd Reply chelmuth 1 month ago I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-) __bjoernd 20 days ago But you're a main project contributor. What about everyone else? chelmuth 19 days ago Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
chelmuth 1 month ago I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-) __bjoernd 20 days ago But you're a main project contributor. What about everyone else? chelmuth 19 days ago Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
__bjoernd 20 days ago But you're a main project contributor. What about everyone else? chelmuth 19 days ago Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
chelmuth 19 days ago Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD
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?
Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD