2 ms·An SEL4 kernel based os, but they’re few and far between for desktop use for some reason.by _factor 3y agoAn SEL4 kernel based os, but they’re few and far between for desktop use for some reason.