An SEL4 kernel based os, but they’re few and far between for desktop use for some reason.