Looking for the latest version? Download genode-15.11.tar.bz2 (5.4 MB)
Name Modified Size Downloads / Week Status
Totals: 4 Items   279 Bytes 1
genode 2015-11-29 2727 weekly downloads
genode-toolchain 2015-05-21 77 weekly downloads
3rd 2012-11-14 1313 weekly downloads
readme 2011-11-29 279 Bytes 11 weekly downloads
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
Source: readme, updated 2011-11-29