Hello Daniel,
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.
... 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
you have actually hit the first of the three known current limitations of the Fiasco.OC port, documented at:
http://genode.org/documentation/release-notes/11.02#section-7
For building one of the libraries contained in libports, the libc gets built as a prerequisite. The libc as well as all libraries in libports are shared libraries. The use of shared libraries, however, is not yet supported on Fiasco.OC. If you have the urgent need to use them, we will address this issue promptly.
Cheers Norman