Genode on 64-bit Linux kernels Apr 17, 2009
Genode can now use both 32-bit as well as 64-bit versions of the Linux kernel as base platform.
From the ground up, Genode was co-developed supporting Linux and L4 as base platforms but the both versions were restricted to the 32-bit x86 architecture. We have now expanded the Linux support to 64 bit. Because most of the adaptions of Genode to 64 bit took place in generic code, we are now well prepared to support future 64-bit versions of L4 kernels as well. The patch for adding 64 bit support supplied by Christian Prochaska is now included in the current version of the Genode subversion repository.