This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / mach-ux500 / Makefile
blob9fd00a6d4248d3a66c8547eeec757ee31c36e885
2 # Makefile for the linux kernel, U8500 machine.
5 obj-y := clock.o cpu.o devices.o devices-common.o \
6 id.o usb.o
7 obj-$(CONFIG_CACHE_L2X0) += cache-l2x0.o
8 obj-$(CONFIG_UX500_SOC_DB5500) += cpu-db5500.o dma-db5500.o
9 obj-$(CONFIG_UX500_SOC_DB8500) += cpu-db8500.o devices-db8500.o
10 obj-$(CONFIG_MACH_U8500) += board-mop500.o board-mop500-sdi.o \
11 board-mop500-regulators.o \
12 board-mop500-uib.o board-mop500-stuib.o \
13 board-mop500-u8500uib.o \
14 board-mop500-pins.o
15 obj-$(CONFIG_MACH_U5500) += board-u5500.o board-u5500-sdi.o
16 obj-$(CONFIG_SMP) += platsmp.o headsmp.o
17 obj-$(CONFIG_HOTPLUG_CPU) += hotplug.o
18 obj-$(CONFIG_LOCAL_TIMERS) += localtimer.o
19 obj-$(CONFIG_U5500_MODEM_IRQ) += modem-irq-db5500.o
20 obj-$(CONFIG_U5500_MBOX) += mbox-db5500.o