1 # SPDX-License-Identifier: GPL-2.0
2 #
3 # Makefile for the linux s390-specific parts o
4 #
5
6 obj-y := init.o fault.o extmem.o mma
7 obj-y += page-states.o pageattr.o pg
8
9 obj-$(CONFIG_CMM) += cmm.o
10 obj-$(CONFIG_DEBUG_VIRTUAL) += physaddr.o
11 obj-$(CONFIG_HUGETLB_PAGE) += hugetlbpage
12 obj-$(CONFIG_PTDUMP_CORE) += dump_pageta
13 obj-$(CONFIG_PGSTE) += gmap.o
14 obj-$(CONFIG_PFAULT) += pfault.o
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.