Openbsd makes a good stopgap.

The way forward is seL4[0][1].

0. https://sel4.systems/

1. https://microkerneldude.org/category/sel4/