1 # SPDX-License-Identifier: GPL-2.0
2
3 obj-y += mmu_context
4 obj-$(CONFIG_PPC_BOOK3E_64) += tlb_64e.o t
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
9 ifdef CONFIG_HUGETLB_PAGE
10 obj-$(CONFIG_PPC_E500) += e500_hugetlbpage.o
11 endif
12
13 # Disable kcov instrumentation on sensitive co
14 # This is necessary for booting with kcov enab
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.