>It sounds like my BIOS isn't doing what it's supposed to, and I have
>to workaround it in the kernel.  What's the best way to do this?  My
>guess is that it shouldn't touch the MI code, and I should add a
>config option to set the IRQ for the controller.  Would this be
>acceptable for submission?

I would _first_ try seeing if you have a setting in the BIOS for
"Plug and Play OS".  If you do, try turning it off.

>In the process of providing a real MI PCIC PCI attachment, I looked at
>CardBus bridges and I think I can get those to work as
>i82365-compatible devices attached to the PCI bus, instead of
>configuring them through an ISA attachment.  Is this desirable?  I
>remember some people talking about getting real CardBus support into
>the kernel, so I don't want to encroach on someone else's project.

I was planning on doing some CardBus stuff myself; I'd certainly
try creating an i82365 PCI attachment (can't hurt), but I think the
CardBus stuff would be preferrable.

--Ken