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_all 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 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