1 # SPDX-License-Identifier: GPL-2.0
2 #
3 # Makefile for the linux kernel.
4 #
5
6 obj-y += core.o core
7
8 obj-$(CONFIG_PPC32) += relocate_32
9
10 obj-$(CONFIG_KEXEC_FILE) += file_load.o
11 obj-$(CONFIG_VMCORE_INFO) += vmcore_info
12 obj-$(CONFIG_CRASH_DUMP) += crash.o
13
14 # Disable GCOV, KCOV & sanitizers in odd or se
15 GCOV_PROFILE_core_$(BITS).o := n
16 KCOV_INSTRUMENT_core_$(BITS).o := n
17 UBSAN_SANITIZE_core_$(BITS).o := n
18 KASAN_SANITIZE_core.o := n
19 KASAN_SANITIZE_core_$(BITS) := n
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.