1# SPDX-License-Identifier: GPL-2.0 2# 3# Makefile for the linux kernel. 4# 5 6obj-y += core.o crash.o core_$(BITS).o 7 8obj-$(CONFIG_PPC32) += relocate_32.o 9 10obj-$(CONFIG_KEXEC_FILE) += file_load.o elf_$(BITS).o 11 12ifdef CONFIG_HAVE_IMA_KEXEC 13ifdef CONFIG_IMA 14obj-y += ima.o 15endif 16endif 17 18 19# Disable GCOV, KCOV & sanitizers in odd or sensitive code 20GCOV_PROFILE_core_$(BITS).o := n 21KCOV_INSTRUMENT_core_$(BITS).o := n 22UBSAN_SANITIZE_core_$(BITS).o := n 23