1. 4ecd498 video: add a driver for the bcm2835 by Stephen Warren · Tue Jan 29 16:37:40 2013 +0000
  2. 12a8a7d ARM: rpi_b: disable rpi_b dcache explicitly by Stephen Warren · Tue Jan 29 16:37:39 2013 +0000
  3. 0e012c3 ARM: add Raspberry Pi model B board, using BCM2835 SoC by Stephen Warren · Sun Aug 05 16:07:22 2012 +0000