logoalt Hacker News

snvzztoday at 12:04 PM0 repliesview on HN

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/