Genode is really great, check it out: https://genode.org/documentation/genode-foundations/