For the state of the art, look at seL4[0], LionsOS[1] and Genode[2].
0. https://sel4.systems/
1. https://www.lionsos.org/
2. https://genode.org/