1. 37c1efa ARM: bcm2835: fix get_timer() to return ms by Stephen Warren · Wed Mar 27 18:43:23 2013 +0000
  2. c4ab971 ARM: rpi_b: enable SD controller, add related env/cmds by Stephen Warren · Tue Jan 29 16:37:42 2013 +0000
  3. 4ecd498 video: add a driver for the bcm2835 by Stephen Warren · Tue Jan 29 16:37:40 2013 +0000
  4. 12a8a7d ARM: rpi_b: disable rpi_b dcache explicitly by Stephen Warren · Tue Jan 29 16:37:39 2013 +0000
  5. 0e012c3 ARM: add Raspberry Pi model B board, using BCM2835 SoC by Stephen Warren · Sun Aug 05 16:07:22 2012 +0000