1*4882a593Smuzhiyun# SPDX-License-Identifier: GPL-2.0-only 2*4882a593Smuzhiyun# 3*4882a593Smuzhiyun# Makefile for the linux kernel, U8500 machine. 4*4882a593Smuzhiyun# 5*4882a593Smuzhiyun 6*4882a593Smuzhiyunobj-y := pm.o 7*4882a593Smuzhiyunobj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o 8*4882a593Smuzhiyunobj-$(CONFIG_SMP) += platsmp.o 9*4882a593Smuzhiyunobj-$(CONFIG_PM_GENERIC_DOMAINS) += pm_domains.o 10