I am trying to work with Genode on Ubuntu 10.10 x64 edition and get the tool-chain set up. However, the tool-chain download is for x86 and I can't see any way to build it for x64.
Is it possible to develop Genode on 64 bit Ubuntu, or do I simply need to use 32 bit instead?
Thanks!