1# SPDX-License-Identifier: GPL-2.0-only
2#
3# Makefile
4#
5
6obj-y := consistent.o init.o pgtable.o mmu_context.o fault.o
7