GCC 4.5.1 and L4Re

Hello Has anyone gotten L4Re to work with GCC 4.5.1 on amd64? I am having issues with just a simple hello world modules.list: entry taru roottask moe --debug=all --l4re-dbg=all --init=rom/hello module l4re module hello Grub loads all the modules ok, but then the qemu just exits without anything being printed from hello. Any hints would be appreciated. - Taru Karttunen