64bit Genode and Fiasco.OC

Hi,

Is Genode+Fiasco.OC x86_64 known not to work? After various fiddling about with include files, and -m64 flags I got as far as the following..

Thanks

Daniel

Program drivers/framebuffer/vesa/vesa_drv

COMPILE decode.o

COMPILE fpu.o

COMPILE framebuffer.o

COMPILE hw_emul.o

COMPILE ifx86emu.o

COMPILE main.o

COMPILE ops.o

COMPILE ops2.o

COMPILE prim_ops.o

COMPILE sys.o

LINK vesa_drv

ifx86emu.o: In function `unsigned int inx<unsigned int>(unsigned short)':

ifx86emu.cc:(.text+0x4c8): undefined reference to `bool hw_emul_handle_port_read<unsigned int>(unsigned short, unsigned int*)'

ifx86emu.o: In function `void outx<unsigned int>(unsigned short, unsigned int)':

ifx86emu.cc:(.text+0x649): undefined reference to `bool hw_emul_handle_port_write<unsigned int>(unsigned short, unsigned int)'

collect2: ld returned 1 exit status

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

make[1]: *** [vesa_drv.prg] Error 2

make: *** [gen_deps_and_build_targets] Error 2