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 ranges.o file_load_$(BITS).o elf_$(BITS).o
11
12# Disable GCOV, KCOV & sanitizers in odd or sensitive code
13GCOV_PROFILE_core_$(BITS).o := n
14KCOV_INSTRUMENT_core_$(BITS).o := n
15UBSAN_SANITIZE_core_$(BITS).o := n
16