File releases for the Genode OS Framework
:genode:
quarterly source-code releases of the framework
:genode-toolchain:
tool chains used for framework versions as mentioned
:3rd:
third-party source codes (namely Fiasco microkernel) put here for convenience downloading