Genode OS is a tool kit for building highly secure special-purpose OS
via genode.org
Short excerpt below. Read at the original source.
Article URL: https://genode.org/about/index Comments URL: https://news.ycombinator.com/item?id=46838981 Points: 13 # Comments: 0