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

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

   zreladdr-y   += 0x60008000
params_phys-y   := 0x60000100
initrd_phys-y   := 0x60800000