Marcus Gossner wrote:
The IRQ assignment can't be done in the operating system.
Not correct. Linux 2.3.x has support for assigning IRQs. Linux 2.2.x+pcmcia_cs has support for this too. IRQ assignment is required for hotplug.
Further, "leave it to the BIOS" isn't really a good answer here :)
Jeff