#
# Makefile for the linux kernel.
#

obj-$(CONFIG_MACH_OX820)		+= mach-ox820.o
obj-$(CONFIG_SMP)			+= platsmp.o headsmp.o
obj-$(CONFIG_DMA_CACHE_FIQ_BROADCAST)	+= fiq.o
obj-$(CONFIG_HOTPLUG_CPU)		+= hotplug.o
