#
# Makefile for the linux kernel.
#

obj-$(CONFIG_MACH_BCM2708) 	+= bcm2708.o armctrl.o
obj-$(CONFIG_BCM2708_GPIO)	+= bcm2708_gpio.o
