# SPDX-License-Identifier: GPL-2.0-only
#
# Makefile
#

obj-y := consistent.o init.o

obj-y += pgtable.o mmu_context.o fault.o
obj-$(CONFIG_HIGHMEM) += highmem.o