Comment by justinclift

Have you come across Genode (https://genode.org)?

It's kind of in that space, and is still actively developed.