top | item 46538872 (no title) __bjoernd | 1 month ago How are SEL4 and Genode going for you in your day-to-day compute usage? discuss order hn newest chelmuth|1 month ago I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-) __bjoernd|1 month ago But you're a main project contributor. What about everyone else? load replies (1)
chelmuth|1 month ago I'm quite happy using SculptOS (Genode/NOVA) for all my productive work - every day ;-) __bjoernd|1 month ago But you're a main project contributor. What about everyone else? load replies (1)
__bjoernd|1 month ago But you're a main project contributor. What about everyone else? load replies (1)
chelmuth|1 month ago
__bjoernd|1 month ago