1*ec8f24b7SThomas Gleixner# SPDX-License-Identifier: GPL-2.0-only 2aa44ef4dSSrinidhi Kasagar# 3aa44ef4dSSrinidhi Kasagar# Makefile for the linux kernel, U8500 machine. 4aa44ef4dSSrinidhi Kasagar# 5aa44ef4dSSrinidhi Kasagar 6a16729eaSArnd Bergmannobj-y := pm.o 76f6d6433SLee Jonesobj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o 8c00def71SLinus Walleijobj-$(CONFIG_SMP) += platsmp.o 9