Problems with the demo CD and qemu

Adam Lackorzynski adam at
Mon Feb 14 13:32:44 CET 2005

On Mon Feb 14, 2005 at 10:40:17 +0100, Cedric Roux wrote:
> Maybe you can test this specific case and not call switch_to_irq_idle_loop
> when the calling thread is the IRQ one?

I guess that's broken then, I'll look into it.

> Now, I have some General Protection Faults occuring at l4linux boot time
> I don't know where and I don't know why. Is it a known issue?
> because I don't have much time to investigate it.
> And if it is a known issue, what should I do to fix this?
> (otherwise, I'll live with it, trying to get the point when time
> will be there)

I know, but haven't found time yet to look deeper into it. Something
broke, that's sure. Disabling TLS could help for the time being (rm -r

Adam                 adam at

More information about the l4-hackers mailing list