64 bit kernel

[SAmmi1]

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.

[FerryT]

https://edison.internet-share.com/wiki/Using_a_vanilla_Linux_kernel_with_Intel_Edison https://edison.internet-share.com/wiki/Using_a_vanilla_Linux_kernel_with_Intel_Edison

[Pablo_M_Intel]

Hi Sergio,

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.

Regards,

Pablo