Comment by snvzz

You might not be aware of Genode[0].

0. https://genode.org/