1 /* SPDX-License-Identifier: GPL-2.0+ */
3 * When a boot option does not provide a file path the EFI file to be
4 * booted is \EFI\BOOT\$(BOOTEFI_NAME).EFI. The architecture specific
5 * file name is defined in this include.
7 * Copyright (c) 2022, Heinrich Schuchardt <xypron.glpk@gmx.de>
10 #ifndef _EFI_DEFAULT_FILENAME_H
11 #define _EFI_DEFAULT_FILENAME_H
13 #include <host_arch.h>
17 #if HOST_ARCH == HOST_ARCH_X86_64
18 #define BOOTEFI_NAME "BOOTX64.EFI"
21 #if HOST_ARCH == HOST_ARCH_X86
22 #define BOOTEFI_NAME "BOOTIA32.EFI"
25 #if HOST_ARCH == HOST_ARCH_AARCH64
26 #define BOOTEFI_NAME "BOOTAA64.EFI"
29 #if HOST_ARCH == HOST_ARCH_ARM
30 #define BOOTEFI_NAME "BOOTARM.EFI"
33 #if HOST_ARCH == HOST_ARCH_RISCV32
34 #define BOOTEFI_NAME "BOOTRISCV32.EFI"
37 #if HOST_ARCH == HOST_ARCH_RISCV64
38 #define BOOTEFI_NAME "BOOTRISCV64.EFI"
42 #error Unsupported UEFI architecture