1 # SPDX-License-Identifier: GPL-2.0 2 3 obj-y += mmu_context.o tlb.o tlb_low.o kup.o 4 obj-$(CONFIG_PPC_BOOK3E_64) += tlb_64e.o tlb_low_64e.o book3e_pgtable.o 5 obj-$(CONFIG_44x) += 44x.o 6 obj-$(CONFIG_PPC_8xx) += 8xx.o 7 obj-$(CONFIG_PPC_E500) += e500.o 8 obj-$(CONFIG_RANDOMIZE_BASE) += kaslr_booke.o 9 ifdef CONFIG_HUGETLB_PAGE 10 obj-$(CONFIG_PPC_E500) += e500_hugetlbpage.o 11 endif 12 13 # Disable kcov instrumentation on sensitive code 14 # This is necessary for booting with kcov enabled on book3e machines 15 KCOV_INSTRUMENT_tlb.o := n 16 KCOV_INSTRUMENT_e500.o := 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.