arch/arm/mach-ux500/Makefile - SHIFTPHONES/mainline/linux - Gitiles

 #
 # Makefile for the linux kernel, U8500 machine.
 #

 obj-y				:= pm.o
 obj-$(CONFIG_UX500_SOC_DB8500)	+= cpu-db8500.o
 obj-$(CONFIG_SMP)		+= platsmp.o
 obj-$(CONFIG_PM_GENERIC_DOMAINS) += pm_domains.o
	#
	# Makefile for the linux kernel, U8500 machine.
	#

	obj-y := pm.o
	obj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o
	obj-$(CONFIG_SMP) += platsmp.o
	obj-$(CONFIG_PM_GENERIC_DOMAINS) += pm_domains.o