# SPDX-License-Identifier: GPL-2.0## Makefile for the Nios2-specific parts of the memory manager.#obj-y+=cacheflush.o
obj-y+=dma-mapping.o
obj-y+=extable.o
obj-y+=fault.o
obj-y+=init.o
obj-y+=ioremap.o
obj-y+=mmu_context.o
obj-y+=pgtable.o
obj-y+=tlb.o
obj-y+=uaccess.o