Looking for the latest version? Download genode-13.02.tar.bz2 (7.8 MB)
Home
Name Modified Size Downloads Status
Totals: 4 Items   279 Bytes 1
genode 2013-02-28 6,286 downloads
genode-toolchain 2013-01-16 1,692 downloads
3rd 2012-11-14 543 downloads
readme 2011-11-29 279 Bytes 1 64 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