#
# Makefile for the linux kernel.
#

obj-$(CONFIG_MACH_BCM2709) 	+= bcm2709.o armctrl.o
obj-$(CONFIG_BCM2708_GPIO)	+= bcm2708_gpio.o
