1 ## SPDX-License-Identifier: GPL-2.0-only
5 menu "leanEFI configuration"
9 default "payloads/external/leanefi/leanefi/build/leanefi.elf"
11 config LEANEFI_EFI_ECPT
13 default y if ARCH_ARM64
15 config LEANEFI_HEAP_SIZE
19 This is the heap size (malloc'able size) available
22 If unsure, set to 131072 (128K)
24 config LEANEFI_STACK_SIZE
28 This is the stack size available to the payload.
30 If unsure, set to 16384 (16K)
32 config LEANEFI_BASE_ADDRESS
34 default 0x62000000 if BOARD_EMULATION_QEMU_AARCH64
35 #default 0x10023300000 if BOARD_EMULATION_QEMU_SBSA
37 This is the base address for the payload.
39 config LEANEFI_PAYLOAD
43 If selected leanEFI will start a payload.
44 This option should only be unselected for debug purposes.
46 config LEANEFI_PAYLOAD_PATH
47 string "path to leanefi payload"
48 depends on LEANEFI_PAYLOAD
51 bool "Add an FDT that is propagated as EFI configuration table"
52 default y if BOARD_EMULATION_QEMU_AARCH64
54 config LEANEFI_FDT_PATH
56 depends on LEANEFI_FDT