summaryrefslogtreecommitdiff
path: root/payloads/external/iPXE/Kconfig
diff options
context:
space:
mode:
Diffstat (limited to 'payloads/external/iPXE/Kconfig')
-rw-r--r--payloads/external/iPXE/Kconfig9
1 files changed, 9 insertions, 0 deletions
diff --git a/payloads/external/iPXE/Kconfig b/payloads/external/iPXE/Kconfig
index 82114107af..ce0a7aea14 100644
--- a/payloads/external/iPXE/Kconfig
+++ b/payloads/external/iPXE/Kconfig
@@ -78,5 +78,14 @@ config PXE_ROM_ID
Under GNU/Linux you can run `lspci -nn` to list the IDs of your PCI devices.
+config PXE_SERIAL_CONSOLE
+ bool "Enable iPXE serial console"
+ def_bool y
+ help
+ Enable/disable iPXE serial console. Since SeaBIOS supports serial
+ console this option might be helpful to avoid duplicated output.
+
+ Unselect to let only SeaBIOS handle printing output.
+
endmenu
endif