This client driver allows you to use a GPIO pin as a source for PPS

[linux-2.6/next.git] / arch / arm / mach-zynq / Makefile

#
# Makefile for the linux kernel.
#

# Common support
obj-y                           := common.o timer.o