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&#39;t see any way to build it for x64.<br><br>Is it possible to develop Genode on 64 bit Ubuntu, or do I simply need to use 32 bit instead?<br>
<br>Thanks!<br>