1. d662ed20 clocksource/drivers/lpc32: Correct pr_err() output format by Vladimir Zapolskiy · 9 years ago
  2. 050dd32 clocksource/drivers/lpc32xx: Add the lpc32xx timer driver by Joachim Eastwood · 10 years ago