Have a look at the Genode operating system (genode.org), I think you'll like it!