how to compile l4re with a x86_64 linux?

Chengqi Song songcq at gmail.com
Sun Nov 21 14:17:51 CET 2010


thanks Adam, it compiles now, and I can see the result of "hello" server :)

if want to try some new modules and user level applications, where should I
start with, is there a hacking tutorial?

thanks
lars

On Sun, Nov 21, 2010 at 7:43 PM, Adam Lackorzynski <
adam at os.inf.tu-dresden.de> wrote:

> 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/
>
> _______________________________________________
> l4-hackers mailing list
> l4-hackers at os.inf.tu-dresden.de
> http://os.inf.tu-dresden.de/mailman/listinfo/l4-hackers
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://os.inf.tu-dresden.de/pipermail/l4-hackers/attachments/20101121/434e7d5f/attachment.html>


More information about the l4-hackers mailing list