1. 234b6ce clocksource: convert ARM 32-bit up counting clocksources by Russell King · 13 years ago
  2. 594cbf2 ARM: lpc32xx: update clock source registration by Russell King · 14 years ago
  3. c4a0208 ARM: LPC32XX: GPIO, timer, and IRQ drivers by Kevin Wells · 14 years ago