18c2ecf20Sopenharmony_ci# SPDX-License-Identifier: GPL-2.0
28c2ecf20Sopenharmony_ciOBJECT_FILES_NON_STANDARD_efi_thunk_$(BITS).o := y
38c2ecf20Sopenharmony_ciKASAN_SANITIZE := n
48c2ecf20Sopenharmony_ciGCOV_PROFILE := n
58c2ecf20Sopenharmony_ci
68c2ecf20Sopenharmony_ciobj-$(CONFIG_EFI) 		+= quirks.o efi.o efi_$(BITS).o efi_stub_$(BITS).o
78c2ecf20Sopenharmony_ciobj-$(CONFIG_EFI_MIXED)		+= efi_thunk_$(BITS).o
8