Hacker News new | ask | show | jobs
by czeidler 3293 days ago
Sound like Genode: http://genode.org/documentation/general-overview/index