1 # SPDX-License-Identifier: GPL-2.0
3 # Makefile for the linux kernel.
6 obj-y += core.o crash.o core_$(BITS).o
8 obj-$(CONFIG_PPC32) += relocate_32.o
10 obj-$(CONFIG_KEXEC_FILE) += file_load.o ranges.o file_load_$(BITS).o elf_$(BITS).o
12 ifdef CONFIG_HAVE_IMA_KEXEC
19 # Disable GCOV, KCOV & sanitizers in odd or sensitive code
20 GCOV_PROFILE_core_$(BITS).o := n
21 KCOV_INSTRUMENT_core_$(BITS).o := n
22 UBSAN_SANITIZE_core_$(BITS).o := n