L4Re and Fiasco.OC on amd64

Adam Lackorzynski adam at os.inf.tu-dresden.de
Mon Aug 2 19:42:01 CEST 2010


On Sun Aug 01, 2010 at 23:30:21 +0300, Taru Karttunen wrote:
> On Sun, 1 Aug 2010 22:05:09 +0200, Adam Lackorzynski <adam at os.inf.tu-dresden.de> wrote:
> > This error means that an exception is happening in the boot-up of
> > Fiasco. Which distribution/compiler are you using? Did you chose any
> > specific CPU variant in the Fiasco configuration?
> > Adding -d int,in_asm to Qemu should also show where it happens and help
> > to understand what's happening.
> Arch linux, GCC/G++ 4.5.0 with multilib support.

GCC 4.5 is doing something concerning inlining different, which in
combination with the linker had some unfortunate results. It's fixed now.

Adam                 adam at os.inf.tu-dresden.de
  Lackorzynski         http://os.inf.tu-dresden.de/~adam/

More information about the l4-hackers mailing list