3 ms·Have a look at http://genode.org/ http://genode.org/by czeidler 9y agoHave a look at http://genode.org/ http://genode.org/