1 # SPDX-License-Identifier: GPL-2.0
3 ccflags-
$(CONFIG_PPC64
) := $(NO_MINIMAL_TOC
)
5 obj-y
+= mmu_context.o tlb.o tlb_low.o
6 obj-
$(CONFIG_PPC_BOOK3E_64
) += tlb_low_64e.o book3e_pgtable.o
7 obj-
$(CONFIG_40x
) += 40x.o
8 obj-
$(CONFIG_44x
) += 44x.o
9 obj-
$(CONFIG_PPC_8xx
) += 8xx.o
10 obj-
$(CONFIG_PPC_FSL_BOOK3E
) += fsl_booke.o
11 obj-
$(CONFIG_RANDOMIZE_BASE
) += kaslr_booke.o
12 ifdef CONFIG_HUGETLB_PAGE
13 obj-
$(CONFIG_PPC_FSL_BOOK3E
) += book3e_hugetlbpage.o
16 # Disable kcov instrumentation on sensitive code
17 # This is necessary for booting with kcov enabled on book3e machines
18 KCOV_INSTRUMENT_tlb.o
:= n
19 KCOV_INSTRUMENT_fsl_booke.o
:= n