// SPDX-License-Identifier: GPL-2.0+
/*
 * PE/COFF header for EFI applications
 *
 * Copyright (c) 2019 Heinrich Schuchardt
 */

#include <host_arch.h>

#if HOST_ARCH == HOST_ARCH_X86_64
#include "../../../arch/x86/lib/crt0_x86_64_efi.S"
#endif

#if HOST_ARCH == HOST_ARCH_X86
#include "../../../arch/x86/lib/crt0_ia32_efi.S"
#endif

#if HOST_ARCH == HOST_ARCH_AARCH64
#include "../../../arch/arm/lib/crt0_aarch64_efi.S"
#endif

#if HOST_ARCH == HOST_ARCH_ARM
#include "../../../arch/arm/lib/crt0_arm_efi.S"
#endif

#if HOST_ARCH == HOST_ARCH_RISCV32
#include "../../../arch/riscv/lib/crt0_riscv_efi.S"
#endif

#if HOST_ARCH == HOST_ARCH_RISCV64
#include "../../../arch/riscv/lib/crt0_riscv_efi.S"
#endif