1. 6b2a055 ARM: picoxcell: fix sched_clock() cleanup fallout by Jamie Iles · 13 years ago
  2. 2f0778af ARM: 7205/2: sched_clock: allow sched_clock to be selected at runtime by Marc Zyngier · 13 years ago
  3. af75655 picoxcell: support for Picochip picoxcell devices by Jamie Iles · 13 years ago