# SPDX-License-Identifier: GPL-2.0-only

menu "EFI (Extensible Firmware Interface) Support"

source "efi/payload/Kconfig"

config EFI
	bool

config HAVE_EFI_STUB
	bool

if EFI

config EFI_GUID
	bool
	help
	  With this option a table of EFI guids is compiled in.

config EFI_DEVICEPATH
	bool

config EFI_PAYLOAD_DEFAULT_PATH
	string
	default "EFI/BOOT/BOOTARM.EFI"		if ARM32
	default "EFI/BOOT/BOOTAA64.EFI"		if ARM64
	default "EFI/BOOT/BOOTIA32.EFI"		if X86_32
	default "EFI/BOOT/BOOTx64.EFI"		if X86_64
	default "EFI/BOOT/BOOTRISCV32.EFI"	if ARCH_RV32I
	default "EFI/BOOT/BOOTRISCV64.EFI"	if ARCH_RV64I
	default "EFI/BOOT/BAREBOX.EFI"

endif

endmenu
