# SPDX-License-Identifier: GPL-2.0
OBJECT_FILES_NON_STANDARD_efi_thunk_$(BITS).o := y
OBJECT_FILES_NON_STANDARD_efi_stub_$(BITS).o := y
obj-$([31mCONFIG_EFI[0m) += quirks.o efi.o efi_$(BITS).o efi_stub_$(BITS).o
obj-$([31mCONFIG_EFI_MIXED[0m) += efi_thunk_$(BITS).o