On Sun, 21 Nov 1999 16:21:22 +0100 
 Olaf Seibert <rhialto@polder.ubc.kun.nl> wrote:

 > set pci_device_override 88c15333
 > 
 > It's a bit silly there seems to be no pci_device_override2, since
 > there are 2 64-bit slots.

I wonder if it's possible to do e.g.:

	pci_device_override 88c15333 ca005333

(the latter one being the SonicVibes, in case you want PCI audio on our
PWS :-)

        -- Jason R. Thorpe <thorpej@nas.nasa.gov>