Hello,
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

    MERGE    libc.lib.so

genode-x86-ld: /home/dwaddington/git/omnios/build/genode/var/libcache/cap_alloc/cap_alloc.lib.a(cap_sel_alloc.o): relocation R_386_GOTOFF against undefined symbol `__l4sys_invoke_indirect' can not be used when making a shared object

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

make[2]: *** [libc.lib.so] 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?

Thanks
Daniel