At 16/04/2000 08:41, Martin Mares wrote:

>    Can you try booting the kernel with "pci=irqmask=0xfff8" option?

Magic!  It works just right with this option. irq11 allocated as expected.

Now, tell me what is the reasoning behind this option. Where can I read 
more about it?

And am I stuck with using it for the Dell Inspiron 3200 from now on?

Thanks for your help.

**********************************************************
You're just jealous because the little penguins talk to me.
**********************************************************

Bill Maidment
Computer Consultant
work email:     [EMAIL PROTECTED]
home email:     [EMAIL PROTECTED]
web page:       www.maidment.com.au



---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Reply via email to