1ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 25f8ffb5fSMichal Simek# 35f8ffb5fSMichal Simek# Makefile 45f8ffb5fSMichal Simek# 55f8ffb5fSMichal Simek 63a0d7a4dSMichal Simekobj-y := consistent.o init.o pgtable.o mmu_context.o fault.o 74b2368ffSMichal Simek