OK, eric, that sounds good. Now that I see how trivial interrupt assignment is for PCI I am wondering about letting linuxbios do it. The Plan9 community does not seem real friendly to fixing their kernel to do IRQ assignment -- they don't seem to get the need for it (I guess they have not thought about hotplug yet)
ron