include/efi_default_filename.h

   1 /* 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