Genode OS: A tool kit for highly secure special-purpose operating systems

Article URL: https://genode.org/about/index

Comments URL: https://news.ycombinator.com/item?id=18962861

Points: 174

# Comments: 22

from Hacker News: Front Page http://bit.ly/2CxkLMN
via