how to compile l4re with a x86_64 linux?

Adam Lackorzynski adam at os.inf.tu-dresden.de
Sun Nov 21 12:43:15 CET 2010


Hi,

On Sun Nov 21, 2010 at 06:42:53 +0800, Chengqi Song wrote:
> I want to try l4re on my own laptop, here is the info from uname -a:
>     Linux lars-x200s 2.6.35-ARCH #1 SMP PREEMPT Sat Oct 30 21:22:26 CEST
> 2010 x86_64 Intel(R) Core(TM)2 Duo CPU L9300 @ 1.60GHz GenuineIntel
> GNU/Linux
> 
> I first checked out src:
>     svn cat http://svn.tudos.org/repos/oc/tudos/trunk/repomgr | perl - init
> http://svn.tudos.org/repos/oc/tudos fiasco l4re
> 
> then follow this page to build:
>     http://os.inf.tu-dresden.de/L4Re/build.html
> 
> with default config, this error is reported before exit:
>     ld: i386:x86-64 architecture of input file
> `/usr/lib/gcc/x86_64-unknown-linux-gnu/4.5.1//crtbeginS.o' is incompatible
> with i386 output
>     ld: i386:x86-64 architecture of input file
> `/usr/lib/gcc/x86_64-unknown-linux-gnu/4.5.1//crtendS.o' is incompatible
> with i386 output
>     make[5]: *** [libl4sys.so] Error 1
> 
> does it mean i need a 32bit system to build L4?

No, but the default-config builds for 32bit and thus requires that
32bit files and build tools are available. For Debian, the corresponding
packages should be gcc-multilib, g++-multilib etc and maybe some other
ia32-dev packages.



Adam
-- 
Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/




More information about the l4-hackers mailing list