# # Makefile for the linux kernel, U8500 machine. # obj-y := pm.o obj-$([31mCONFIG_UX500_SOC_DB8500[0m) += cpu-db8500.o obj-$([31mCONFIG_MACH_MOP500[0m) += board-mop500-audio.o obj-$([31mCONFIG_SMP[0m) += platsmp.o obj-$([31mCONFIG_HOTPLUG_CPU[0m) += hotplug.o obj-$([31mCONFIG_PM_GENERIC_DOMAINS[0m) += pm_domains.o CFLAGS_hotplug.o += -march=armv7-a |