Libports building problem with Genode 11.02 + Fiasco.OC

Daniel Waddington - SISA d.waddington at ...58...
Tue Mar 1 20:33:41 CET 2011

We're struggling to build Genode 11.02 + Fiasco.OC on x86.  We are
building using the genode GCC x86-ia32 binaries (gcc 4.4.5) running on a
x86_64 Ubuntu box.


When we add "libports" to the REPOSITORY we get:


    COMPILE  readlink.o

    COMPILE  rlimit.o

    COMPILE  select.o

    COMPILE  strcoll.o

    COMPILE  strxfrm.o

    COMPILE  sysctl.o

    COMPILE  wcscoll.o

    COMPILE  wcsxfrm.o


oc.lib.a(cap_sel_alloc.o): relocation R_386_GOTOFF against undefined
symbol `__l4sys_invoke_indirect' can not be used when making a shared

genode-x86-ld: final link failed: Bad value

make[2]: *** [] Error 1

make[1]: *** [libc.lib] Error 2

make: *** [gen_deps_and_build_targets] Error 2


I have no idea how to fix this.


Any clues?


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the users mailing list