1. b2c20f6 rpi: set fdt_addr_r to 0x00000100 to match default device_tree_address by Jonathan Liu · 9 years ago
  2. 067fcd5 kconfig: add config option for shell prompt by Nikita Kiryanov · 9 years ago
  3. eaf837c arm/rpi: Enable dcache by Alexander Stein · 9 years ago
  4. 5a9d7f1 Move defaults from config_cmd_default.h to Kconfig by Joe Hershberger · 9 years ago
  5. 494bd7a ARM: bcm283x: Switch to generic timer by Marek Vasut · 10 years ago
  6. dc7ea68 rpi: add support for Raspberry Pi 2 model B by Stephen Warren · 10 years ago