genode.org

Home page \342\200\224 Genode Operating System Framework

URLs from genode.org:

URL: http://genode.org/

Tags: opensource programming research development unix framework system kernel os l4 microkernel

Tweets about genode.org

RT @pof: Great article explaining TrustZone: Genode, An Exploration of ARM TrustZone Technology -