Currently it's very limited, but the BeTrusted Precursor is in the ballpark: https://www.crowdsupply.com/sutajio-kosagi/precursor https://www.crowdsupply.com/s

Currently it's very limited, but the BeTrusted Precursor is in the ballpark: https://www.crowdsupply.com/sutajio-kosagi/precursor https://www.crowdsupply.com/sutajio-kosagi/precursor I wrote a little about it today, as it happens: https://www.theregister.com/2025/09/12/three_new_microkernels/ https://www.theregister.com/2025/09/12/three_new_microkernel...