>This is a bug in the BIOS in the machine.  It should have allocated
>an address for the USB the controller (according to the PCI spec),
>but it didn't and then NetBSD fails to initialize it.

I'm not sure this is the case.

In my reading of the PCI 2.1 spec, the BIOS is only required to do this
for devices that the hardware needs to boot.  Since USB isn't needed to boot,
that is perhaps why it isn't done.  Obviously the BIOS manufacturers
are providing the "Plug and Play OS" option for OS's that don't do the
right magic.

This brings up the next question - exactly what _is_ the right magic?
We should be talking to the PCI BIOS, right?  How come we aren't?

--Ken