This client driver allows you to use a GPIO pin as a source for PPS
[linux-2.6/next.git] / arch / arm / tools / 
treea238df15d72f2c18a5ced0d760c223238122064e
drwxr-xr-x   ..
-rw-r--r-- 243 Makefile
-rw-r--r-- 2078 gen-mach-types
-rw-r--r-- 46363 mach-types