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