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

[doener]

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

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

Points: 59

# Comments: 4