Problems with the demo CD and qemu
Cedric Roux
Cedric.Roux at eurecom.fr
Mon Feb 14 10:40:17 CET 2005
On Sat, 12 Feb 2005, Adam Lackorzynski wrote:
> > My questions are:
> > 1 - why to call this switch_to_irq_idle_loop? what's
> > the purpose of it?
>
> The purpose is to prevent that interrupts get through. The tricky part
> here has been IRQ probing. I guess I need to reevaluate this issue...
Yes, the point is that the thread calls switch_to_irq_idle_loop to
disable itself, weird :) (it can't be enabled again, because the
one that would do it is itself, but itself disabled itself, I mean...
weird :))
Maybe you can test this specific case and not call switch_to_irq_idle_loop
when the calling thread is the IRQ one?
>
> > 2 - if I remove this call, do I get a wrong system or
> > is it ok? what do I lose if it is ok (speed?)?
>
> Should be ok if it works on your system.
Mmm, not very satisfaying as an answer :)
> > (By the way, the l4linux kernel won't compile with 4k stacks,
>
> It compiled for me as of today but I had to fix some small issues to
> make it actually work (but I only tested this slightly). Should hit CVS
> by tomorrow.
>
> > you never call irq_ctx_init, maybe you should call it in
> > init_IRQ?)
>
> No, l4linux has always worked more like the 4k-IRQ way, not as the old
> way in 8k-stacks.
OK, I used the wrong word. It compiled, but it didn't work at runtime.
> Adam
Anyway, thanks.
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)
Cedric.
More information about the l4-hackers
mailing list