diff options
| author | Martin Roth <martinroth@google.com> | 2016-07-06 15:05:19 -0600 |
|---|---|---|
| committer | Martin Roth <martinroth@google.com> | 2016-07-12 19:24:03 +0200 |
| commit | e51e1045e46dfccbffc2e4ab81ac023038c4e293 (patch) | |
| tree | fc6dc2c03388dbc5b29d7ef2d80e8b97b8c8cb2a | |
| parent | bfe6f6a72e34e202073bf1787898f7228f9d5562 (diff) | |
| download | coreboot-e51e1045e46dfccbffc2e4ab81ac023038c4e293.tar.xz | |
payloads/iPXE: Fix PXE Kconfig question
As reported by Andrew Engelbrecht on the coreboot mailing list, there
was an issue when selecting the pxe rom file:
When using "make menuconfig", if "add pxe rom" is selected, then
the field below to set to the path of the pxe rom, the "add pxe rom"
option gets disabled.
This problem seems to be due to the use of the 'optional' Kconfig
keyword, so this section of the Kconfig is rewitten here to remove that
keyword and fix the issue.
Change-Id: I51680cb746160cb853c8679ac64e2d37989cb574
Signed-off-by: Martin Roth <martinroth@google.com>
Reviewed-on: https://review.coreboot.org/15555
Tested-by: build bot (Jenkins)
Reviewed-by: Jonathan Neuschäfer <j.neuschaefer@gmx.net>
Reviewed-by: Paul Menzel <paulepanter@users.sourceforge.net>
Reviewed-by: Patrick Georgi <pgeorgi@google.com>
| -rw-r--r-- | payloads/external/iPXE/Kconfig | 16 |
1 files changed, 12 insertions, 4 deletions
diff --git a/payloads/external/iPXE/Kconfig b/payloads/external/iPXE/Kconfig index d425d51ca5..aa8d92de5f 100644 --- a/payloads/external/iPXE/Kconfig +++ b/payloads/external/iPXE/Kconfig @@ -11,11 +11,17 @@ ## GNU General Public License for more details. ## -choice +config PXE prompt "Add a PXE ROM" - default PXE_ROM + def_bool n depends on ARCH_X86 - optional + +if PXE +menu "PXE Options" + +choice + prompt "PXE ROM to use" + default PXE_ROM config PXE_ROM bool "Add an existing PXE ROM image" @@ -59,7 +65,6 @@ config PXE_ROM_FILE config PXE_ROM_ID string "network card PCI IDs" - depends on PXE_ROM || BUILD_IPXE default "10ec,8168" help The comma-separated PCI vendor and device ID that would associate @@ -72,3 +77,6 @@ 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 +endif |