vgabios use howto.

ron minnich rminnich at
Tue Jan 13 16:01:01 CET 2004

On Tue, 13 Jan 2004, Richard Smith wrote:

> How do I tell it what pci device to use.  I get an error trying to open 
> /proc/bus/pci/00/1f.7

what does lspci show?

> lspci shows my video devices at 00:12.0 and 00:14.0 with 12 being the 
> device that has its IO region enabled at 1000

for the -d option to the tool you have to give the busdevfn as one number, 
e.g. 2:0.0 needs to be 0x200


More information about the coreboot mailing list