L4-Linux worked on 486!

[Jean Wolter]

Edmund GRIMLEY EVANS <edmundo at 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
-- 
I get up each morning, gather my wits.
Pick up the paper, read the obits.
if I'm not there I know I'm not dead.
So I eat a good breakfast and go back to bed. Peete Seeger