In order not to clutter configs, we should hide symbols that are EFI related when CONFIG_EFI is disabled, especially as we are going to add more options with the loader support. Signed-off-by: Ahmad Fatoum <a.fatoum@xxxxxxxxxxxxxx> --- efi/Kconfig | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/efi/Kconfig b/efi/Kconfig index 3bda02600c94..dfe4d7327084 100644 --- a/efi/Kconfig +++ b/efi/Kconfig @@ -23,6 +23,8 @@ config EFI config HAVE_EFI_STUB bool +if EFI + config EFI_STUB def_bool EFI_PAYLOAD depends on HAVE_EFI_STUB @@ -45,4 +47,6 @@ config EFI_PAYLOAD_DEFAULT_PATH default "EFI/BOOT/BOOTRISCV64.EFI" if ARCH_RV64I default "EFI/BOOT/BAREBOX.EFI" +endif + endmenu -- 2.39.2