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