G genode.org Genode OS: A tool kit for highly secure special-purpose operating systems 205 points doener 7 years ago 31 comments
