On Sat 20 Nov 1999 at 11:26:01 -0500, Andrew Gallatin wrote:
> Or, if you are feeling brave, set the SRM console variable
> 'pci_device_override' to the PCI device id followed by the PCI vendor
> id of your card.
> 
> Eg, something like this: 
> 
> >>> set pci_device_override 0x88c05333

After some experimentation, the exact form that worked was

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.

-Olaf.
--
___ Olaf 'Rhialto' Seibert - rhialto@polder.ubc.     -- If one tells the truth,
\X/ .kun.nl     -- one is sure, sooner or later, to be found out. (Oscar Wilde)