Genode OS Framework
This is just the initial version without any code yet. We're on the
way to migrate the current released version into Git.