ARM: rockchip: rk3228: implement function rk3228_restart
[firefly-linux-kernel-4.4.55.git] / arch / arm / mach-ux500 / Makefile
index f24710dfc3958d6b87f9018ec7c627c8a61d814d..bf9b6be5b18091bc3b94464f74502939b596ee40 100644 (file)
@@ -3,7 +3,7 @@
 #
 
 obj-y                          := cpu.o devices.o devices-common.o \
-                                  id.o usb.o timer.o
+                                  id.o usb.o timer.o pm.o
 obj-$(CONFIG_CPU_IDLE)          += cpuidle.o
 obj-$(CONFIG_CACHE_L2X0)       += cache-l2x0.o
 obj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o devices-db8500.o
@@ -15,3 +15,5 @@ obj-$(CONFIG_MACH_MOP500)     += board-mop500.o board-mop500-sdi.o \
                                board-mop500-audio.o
 obj-$(CONFIG_SMP)              += platsmp.o headsmp.o
 obj-$(CONFIG_HOTPLUG_CPU)      += hotplug.o
+
+CFLAGS_hotplug.o               += -march=armv7-a