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 /lib/tls...).
Adam