Looking for the latest version? Download genode-14.08.tar.bz2 (9.1 MB)
Home
Name Modified Size Downloads / Week Status
Totals: 4 Items   279 Bytes 4
genode 2014-08-27 24 weekly downloads
genode-toolchain 2013-01-16 17 weekly downloads
3rd 2012-11-14 9 weekly downloads
readme 2011-11-29 279 Bytes 44 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