diff options
| author | Daniele Forsi <dforsi@gmail.com> | 2014-07-17 11:59:41 +0200 |
|---|---|---|
| committer | Patrick Georgi <patrick@georgi-clan.de> | 2014-07-23 10:17:35 +0200 |
| commit | f2fb7d916ced44452b6f329d5b407a1c7d48bb4c (patch) | |
| tree | c580e5744a449c8ea42ea1ddc2c158a49b2b8b6b | |
| parent | 53847a211bd78a9cbf838f63f155368c641f7cd5 (diff) | |
src/device/Kconfig: make help for VGA_BIOS_ID and PXE_ROM_ID more similar
Add to VGA_BIOS_ID the hint about lspci -nn and add to PXE_ROM_ID an
empty line at the end for better readability in menuconfig.
Change-Id: I56751c047c1ff08142e2af58ef3ba5fe1169eba5
Signed-off-by: Daniele Forsi <dforsi@gmail.com>
Reviewed-on: http://review.coreboot.org/6301
Tested-by: build bot (Jenkins)
Reviewed-by: Edward O'Callaghan <eocallaghan@alterapraxis.com>
| -rw-r--r-- | src/device/Kconfig | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/device/Kconfig b/src/device/Kconfig index 766da9ead1..58dcc1b8d6 100644 --- a/src/device/Kconfig +++ b/src/device/Kconfig @@ -316,6 +316,8 @@ config VGA_BIOS_ID the "0x" prefix) and 3230 specifies the PCI device ID of the video card (also in hex, without "0x" prefix). + Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices. + config INTEL_MBI bool "Add an MBI image" depends on NORTHBRIDGE_INTEL_I82830 @@ -538,6 +540,7 @@ config PXE_ROM_ID network card (also in hex, without "0x" prefix). Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices. + endmenu config SUBSYSTEM_VENDOR_ID |