diff options
| -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 |