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

 
 1#
 2# Makefile for the linux kernel, U8500 machine.
 3#
 4
 5obj-y				:= pm.o
 6obj-$(CONFIG_UX500_SOC_DB8500)	+= cpu-db8500.o
 7obj-$(CONFIG_MACH_MOP500)	+= board-mop500-audio.o
 8obj-$(CONFIG_SMP)		+= platsmp.o
 9obj-$(CONFIG_HOTPLUG_CPU)	+= hotplug.o
10obj-$(CONFIG_PM_GENERIC_DOMAINS) += pm_domains.o
11
12CFLAGS_hotplug.o		+= -march=armv7-a