1 # SPDX-License-Identifier: GPL-2.0 2 3 KASAN_SANITIZE := n 4 KCOV_INSTRUMENT := n 5 6 obj-$(CONFIG_PPC32) += init_32.o 7 obj-$(CONFIG_PPC_8xx) += 8xx.o 8 obj-$(CONFIG_PPC_BOOK3S_32) += book3s_32.o 9 obj-$(CONFIG_PPC_BOOK3S_64) += init_book3s_64.o 10 obj-$(CONFIG_PPC_BOOK3E_64) += init_book3e_64.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.