1# SPDX-License-Identifier: GPL-2.0-only 2# 3# Makefile 4# 5 6obj-y := consistent.o init.o 7 8obj-$(CONFIG_MMU) += pgtable.o mmu_context.o fault.o 9obj-$(CONFIG_HIGHMEM) += highmem.o 10