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.
Access the Genode subversion repository...
