Comment by lproven

Currently it's very limited, but the BeTrusted Precursor is in the ballpark:

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_microkernel...