# # 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
