diff options
| -rw-r--r-- | src/device/Kconfig | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/device/Kconfig b/src/device/Kconfig index d79634ffec..30fcd38cde 100644 --- a/src/device/Kconfig +++ b/src/device/Kconfig @@ -867,6 +867,10 @@ config VGA_BIOS_ID the "0x" prefix) and 3230 specifies the PCI device ID of the video card (also in hex, without "0x" prefix). a3 specifies the revision. + This ID needs to match the PCI VID and DID in the VGA BIOS file's + header and also needs to match the value returned by map_oprom_vendev + or map_oprom_vendev_rev if the remapping feature is used. + Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices. config VGA_BIOS_SECOND |