blob: 13b9de8754a01aee59bad942f21efaa7dc1512bb [file] [log] [blame]
AKASHI Takahirofd972f52022-04-28 17:09:39 +09001/* SPDX-License-Identifier: GPL-2.0+ */
2/*
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.
6 *
7 * Copyright (c) 2022, Heinrich Schuchardt <xypron.glpk@gmx.de>
8 */
9
10#ifndef _EFI_DEFAULT_FILENAME_H
11#define _EFI_DEFAULT_FILENAME_H
12
13#include <host_arch.h>
14
15#undef BOOTEFI_NAME
16
17#if HOST_ARCH == HOST_ARCH_X86_64
18#define BOOTEFI_NAME "BOOTX64.EFI"
19#endif
20
21#if HOST_ARCH == HOST_ARCH_X86
22#define BOOTEFI_NAME "BOOTIA32.EFI"
23#endif
24
25#if HOST_ARCH == HOST_ARCH_AARCH64
26#define BOOTEFI_NAME "BOOTAA64.EFI"
27#endif
28
29#if HOST_ARCH == HOST_ARCH_ARM
30#define BOOTEFI_NAME "BOOTARM.EFI"
31#endif
32
33#if HOST_ARCH == HOST_ARCH_RISCV32
34#define BOOTEFI_NAME "BOOTRISCV32.EFI"
35#endif
36
37#if HOST_ARCH == HOST_ARCH_RISCV64
38#define BOOTEFI_NAME "BOOTRISCV64.EFI"
39#endif
40
41#ifndef BOOTEFI_NAME
42#error Unsupported UEFI architecture
43#endif
44
45#endif