Community
cancel
Showing results for 
Search instead for 
Did you mean: 
1,601 Views

Problems building a 64-bit kernel for an Intel edison

Jump to solution

Hey everybody,

I know there were a few earlier posts about this but I dont believe they were solved.

At any rate, I am trying to build a 64 bit kernel for the Intel Edison.

I am using http://www.intel.com/content/dam/support/us/en/documents/edison/sb/edisonbsp_ug_331188007.pdf http://www.intel.com/content/dam/support/us/en/documents/edison/sb/edisonbsp_ug_331188007.pdf document as a base.

Even after i enabled the 64-bit flag in the menu config(and copied config files to the correct locations) and ran bitbake edison-image, it eventually gives me the following error:

cc1: error: code model `kernel' not supported in the 32 bit mode

cc1: sorry, unimplemented: 64-bit mode not compiled in

I am trying to compile it on Linux 14.04 .

The GCC compiler I use is 64 bit as well.

Any leads/suggestions/ideas would be greatly appreciated.

Thanks

rkt

0 Kudos
1 Solution
idata
Community Manager
70 Views

Hi Ron,

 

 

As stated in some other threads, the image from the BSP is meant to be built as a 32 bit system. So going with 64 bits using the BSP would probably require a lot of work.

 

Regarding the 64 bit flag, I believe this is not provided by the target machine but by the host computer. In this case it would be your computer with Ubuntu 14.04.

 

We haven't try to build an image using a 64 bit kernel so there's not much information we can provide, but I'm wondering if you have checked this link before: https://edison.internet-share.com/wiki/Using_a_vanilla_Linux_kernel_with_Intel_Edison. This user has been trying to replicate the steps from a Russian website where someone was able to boot Edison using vanilla kernel without any patches. So I suggest you to check that information, his progress can also be seen here: /thread/75472 https://communities.intel.com/thread/75472.

 

 

Regards,

 

-Pablo

View solution in original post

4 Replies
idata
Community Manager
71 Views

Hi Ron,

 

 

As stated in some other threads, the image from the BSP is meant to be built as a 32 bit system. So going with 64 bits using the BSP would probably require a lot of work.

 

Regarding the 64 bit flag, I believe this is not provided by the target machine but by the host computer. In this case it would be your computer with Ubuntu 14.04.

 

We haven't try to build an image using a 64 bit kernel so there's not much information we can provide, but I'm wondering if you have checked this link before: https://edison.internet-share.com/wiki/Using_a_vanilla_Linux_kernel_with_Intel_Edison. This user has been trying to replicate the steps from a Russian website where someone was able to boot Edison using vanilla kernel without any patches. So I suggest you to check that information, his progress can also be seen here: /thread/75472 https://communities.intel.com/thread/75472.

 

 

Regards,

 

-Pablo

View solution in original post

FerryT
Valued Contributor I
70 Views

@Pablo, the author of that Russian article is Andy Shevchenko who is a kernel developer and posting his edison work here https://github.com/andy-shev/linux/tree/eds https://github.com/andy-shev/linux/tree/eds. Thanks to Andy a lot of edison specific stuff has already made it into the latest kernel and probably more to come. Looking at the e-mail address in his commits <</span>mailto:andriy.shevchenko@linux.intel.com andriy.shevchenko@linux.intel.com> he may be a colleague of you :-)

70 Views

Thanks Pablo!

Im going through that link at the moment!

Thanks again for pointing me in the right direction!

Ron

idata
Community Manager
70 Views

Hi guys,

FerryT, thank you very much for the information! I don't know him personally, at least yet .

Ron, we're glad to help.

Regards,

 

-Pablo
Reply