G genode.org Genode OS is a tool kit for building highly secure special-purpose OS 125 points doener 9 months ago 27 comments
