Makefile

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