Super HN

   Genode OS is a tool kit for building highly secure special-purpose OS (genode.org) 17 points by doener 36 minutes ago