Looking for the latest version? Download genode-14.05.tar.bz2 (8.3 MB)
Home
Name Modified Size Downloads / Week Status
Totals: 4 Items   279 Bytes 1
genode 2014-05-28 15 weekly downloads
genode-toolchain 2013-01-16 1 weekly downloads
3rd 2012-11-14 7 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