From 337deb64087ebb2a645446473842c5776ac3f892 Mon Sep 17 00:00:00 2001 From: Felix Held Date: Wed, 8 Mar 2023 18:16:56 +0100 Subject: [PATCH] device/Kconfig: explain which PCI ID needs to be used for VGA_BIOS_ID Add a paragraph to the help text for VGA_BIOS_ID to explain which PCI ID needs to be used. Signed-off-by: Felix Held Change-Id: I1a0f25481e275b7d190f29f5670cc98443dbe719 Reviewed-on: https://review.coreboot.org/c/coreboot/+/73613 Reviewed-by: Martin Roth Tested-by: build bot (Jenkins) Reviewed-by: Fred Reitberger --- src/device/Kconfig | 4 ++++ 1 file changed, 4 insertions(+) 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