Edmund GRIMLEY EVANS edmundo@rano.demon.co.uk writes:
Thanks for your reply.
From what you wrote, it sounds like the problem could be solved in
either of two ways:
- make L4 priorities correspond to PIC priorities
- use a specific instead of a non-specific EOI
Can either of these be implemented as a quick fix even if the long-term solution is moving irq ack into the microkernel?
I notice that linux22/arch/l4-i386/kernel/irq.c has:
static const /* prio for irq 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 */ char irq_prio[] = {1, 0,15, 6, 5, 4, 3, 2,14,13,12,11,10, 9, 8, 7};
Can I change this? What to?
It looks like Michael already changed that. The PIC is programmed with irq8 at the highest priority (thats the timer used by L4) and the threads have the same priority. So if you still have problems you should discuss this with Michael. He is currently not in Dresden but IIRC he will be back next week.
Jean