I followed the instructions on "Genode on Fiasco.OC" (http://genode.org/community/wiki/GenodeOnFiascoOC) and ran into a problem. When I got to the step to building L4Re I got the following:
*** No rule to make target '.../lib32/crtendS.o', needed by 'libl4sys.so'.
I am building this on an x86_64 system, and I am sure it is looking for a 32-bit obj on a 64 bit system. Does anyone know how to fix this problem?
Peace, Chance