1# SPDX-License-Identifier: GPL-2.0 2OBJECT_FILES_NON_STANDARD_efi_thunk_$(BITS).o := y 3KASAN_SANITIZE := n 4GCOV_PROFILE := n 5 6obj-$(CONFIG_EFI) += quirks.o efi.o efi_$(BITS).o efi_stub_$(BITS).o 7obj-$(CONFIG_EFI_MIXED) += efi_thunk_$(BITS).o 8