how to compile l4re with a x86_64 linux?

[Chengqi Song]

hi,

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?

thanks
lars
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20101121/5766ad59/attachment.html>