GCC 4.5.1 and L4Re

[Taru Karttunen]

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