Re: [Xenomai] multiarch on ipipe kernel
I enabled the settings below and then it was working. Thanks again. CONFIG_IA32_EMULATION=yCONFIG_IA32_AOUT=mCONFIG_X86_X32=y Frederik On Tuesday, 13 September 2016, 15:39, Frederik Bayart wrote: CONFIG_IA32_EMULATION is indeed not set. I will try to test it this week and let you know whether this was the cause. Thank you very much for the help, Frederik On Tuesday, 13 September 2016, 15:11, Henning Schild wrote: Do you have CONFIG_IA32_EMULATION set in your ipipe kernel? Henning Am Tue, 13 Sep 2016 12:26:33 + schrieb Frederik Bayart : > Should it be possible to run an 32 bit non-rt binary on a 64 bit > ipipe kernel ? I'm using debian jessie amd64 and xenomai 2.6.4 on > kernel 3.18.20 > > I have added i386 as foreing architecture and installed the i386 > toolchain $ dpkg --print-architectureamd64s$ dpkg > --print-foreign-architecturesi386 I have a small hello world binary > > #include > int main(int argc, char* argv[]){ printf("hello world\n"); return > 0;} I compile with > gcc -m32 -o hello hello.c > This binary runs on the normal (non-ipipe) kernel > linux-image-3.16.0-4-amd64.But if I'm booting the ipipe kernel on the > same system, I get the error : -bash: ./hello: cannot execute binary > file: Exec format error So the problem seems to be related to the > kernel. But I didn't find whether a kernel option could be the cause. > The kernel was prepared with I only found that you can't run 32 bit > xenomai libraries on a 64 bit kernel, but this binary is not using > these libraries. Kind regards, Frederik > > ___ > Xenomai mailing list > Xenomai@xenomai.org > https://xenomai.org/mailman/listinfo/xenomai ___ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
Re: [Xenomai] multiarch on ipipe kernel
CONFIG_IA32_EMULATION is indeed not set. I will try to test it this week and let you know whether this was the cause. Thank you very much for the help, Frederik On Tuesday, 13 September 2016, 15:11, Henning Schild wrote: Do you have CONFIG_IA32_EMULATION set in your ipipe kernel? Henning Am Tue, 13 Sep 2016 12:26:33 + schrieb Frederik Bayart : > Should it be possible to run an 32 bit non-rt binary on a 64 bit > ipipe kernel ? I'm using debian jessie amd64 and xenomai 2.6.4 on > kernel 3.18.20 > > I have added i386 as foreing architecture and installed the i386 > toolchain $ dpkg --print-architectureamd64s$ dpkg > --print-foreign-architecturesi386 I have a small hello world binary > > #include > int main(int argc, char* argv[]){ printf("hello world\n"); return > 0;} I compile with > gcc -m32 -o hello hello.c > This binary runs on the normal (non-ipipe) kernel > linux-image-3.16.0-4-amd64.But if I'm booting the ipipe kernel on the > same system, I get the error : -bash: ./hello: cannot execute binary > file: Exec format error So the problem seems to be related to the > kernel. But I didn't find whether a kernel option could be the cause. > The kernel was prepared with I only found that you can't run 32 bit > xenomai libraries on a 64 bit kernel, but this binary is not using > these libraries. Kind regards, Frederik > > ___ > Xenomai mailing list > Xenomai@xenomai.org > https://xenomai.org/mailman/listinfo/xenomai ___ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
Re: [Xenomai] multiarch on ipipe kernel
Do you have CONFIG_IA32_EMULATION set in your ipipe kernel? Henning Am Tue, 13 Sep 2016 12:26:33 + schrieb Frederik Bayart : > Should it be possible to run an 32 bit non-rt binary on a 64 bit > ipipe kernel ? I'm using debian jessie amd64 and xenomai 2.6.4 on > kernel 3.18.20 > > I have added i386 as foreing architecture and installed the i386 > toolchain $ dpkg --print-architectureamd64s$ dpkg > --print-foreign-architecturesi386 I have a small hello world binary > > #include > int main(int argc, char* argv[]){ printf("hello world\n"); return > 0;} I compile with > gcc -m32 -o hello hello.c > This binary runs on the normal (non-ipipe) kernel > linux-image-3.16.0-4-amd64.But if I'm booting the ipipe kernel on the > same system, I get the error : -bash: ./hello: cannot execute binary > file: Exec format error So the problem seems to be related to the > kernel. But I didn't find whether a kernel option could be the cause. > The kernel was prepared with I only found that you can't run 32 bit > xenomai libraries on a 64 bit kernel, but this binary is not using > these libraries. Kind regards, Frederik > > ___ > Xenomai mailing list > Xenomai@xenomai.org > https://xenomai.org/mailman/listinfo/xenomai ___ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai
Re: [Xenomai] multiarch on ipipe kernel
El Dimarts, 13 de setembre de 2016, a les 12:26:33, Frederik Bayart va escriure: > Should it be possible to run an 32 bit non-rt binary on a 64 bit ipipe > kernel ? I'm using debian jessie amd64 and xenomai 2.6.4 on kernel 3.18.20 > > I have added i386 as foreing architecture and installed the i386 toolchain > $ dpkg --print-architectureamd64s$ dpkg --print-foreign-architecturesi386 > I have a small hello world binary > > #include > int main(int argc, char* argv[]){ printf("hello world\n"); return 0;} > I compile with > gcc -m32 -o hello hello.c > This binary runs on the normal (non-ipipe) kernel > linux-image-3.16.0-4-amd64.But if I'm booting the ipipe kernel on the same > system, I get the error : -bash: ./hello: cannot execute binary file: Exec > format error > So the problem seems to be related to the kernel. But I didn't find whether > a kernel option could be the cause. The kernel was prepared with I only > found that you can't run 32 bit xenomai libraries on a 64 bit kernel, but > this binary is not using these libraries. Kind regards, do you have libc6-dev-i386 and libc6-i686 installed? I'm able to run your example with a similar setup. Cheers, Leopold -- -- Linux User 152692 GPG: 05F4A7A949A2D9AA Catalonia - A: Because it messes up the order in which people normally read text. Q: Why is top-posting such a bad thing? A: Top-posting. Q: What is the most annoying thing in e-mail? ___ Xenomai mailing list Xenomai@xenomai.org https://xenomai.org/mailman/listinfo/xenomai