[Xenomai] multiarch on ipipe kernel

[Xenomai] multiarch on ipipe kernel

[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 <stdio.h>
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

Re: [Xenomai] multiarch on ipipe kernel

[Leopold Palomo-Avellaneda]

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 <stdio.h>
> 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?

Re: [Xenomai] multiarch on ipipe kernel

[Henning Schild]

Do you have CONFIG_IA32_EMULATION set in your ipipe kernel?

Henning

Am Tue, 13 Sep 2016 12:26:33 +0000
schrieb Frederik Bayart <frederik_bayart@yahoo.co.uk>:

> 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 <stdio.h>
> 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

Re: [Xenomai] multiarch on ipipe kernel

[Frederik Bayart]

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 <henning.schild@siemens.com> wrote:
 

 Do you have CONFIG_IA32_EMULATION set in your ipipe kernel?

Henning

Am Tue, 13 Sep 2016 12:26:33 +0000
schrieb Frederik Bayart <frederik_bayart@yahoo.co.uk>:

> 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 <stdio.h>
> 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


   

Re: [Xenomai] multiarch on ipipe kernel

[Frederik Bayart]

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 <frederik_bayart@yahoo.co.uk> 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 <henning.schild@siemens.com> wrote:
 

 Do you have CONFIG_IA32_EMULATION set in your ipipe kernel?

Henning

Am Tue, 13 Sep 2016 12:26:33 +0000
schrieb Frederik Bayart <frederik_bayart@yahoo.co.uk>:

> 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 <stdio.h>
> 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