4 ms·

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

• chelmuth 9mo ago
  I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-)
  • __bjoernd 9mo ago
    But you're a main project contributor. What about everyone else?
    • chelmuth 8mo ago
      Come round tonight and see for yourself https://hedgedoc.c3d2.de/GenodeUserGroupDD https://hedgedoc.c3d2.de/GenodeUserGroupDD