Genode OS is a tool kit for building highly secure special-purpose OS | Hacker News

Genode OS is a tool kit for building highly secure special-purpose OS (genode.org)

125 points by doener 4 days ago | 27 comments

Loading...