Has anyone been able to boot the edison using any linux 64 bit kernel? We have tried all the flavors out there and they all seem to only work in 32 bit mode.
The link above (the one from FerryT's post) is a great source of information on using 64 bit mode on the Edison. Did you check that document before? It's very well written. Thanks for the contribution FerryT.