summaryrefslogtreecommitdiff
path: root/payloads/external
diff options
context:
space:
mode:
Diffstat (limited to 'payloads/external')
-rw-r--r--payloads/external/iPXE/Kconfig16
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