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