1. 14006a5 rpi: set fdt_addr_r to 0x00000100 to match default device_tree_address by Jonathan Liu · 9 years ago
  2. 181bd9d kconfig: add config option for shell prompt by Nikita Kiryanov · 9 years ago
  3. 4cffbec arm/rpi: Enable dcache by Alexander Stein · 9 years ago
  4. ef0f2f5 Move defaults from config_cmd_default.h to Kconfig by Joe Hershberger · 9 years ago
  5. e390bd5 ARM: bcm283x: Switch to generic timer by Marek Vasut · 9 years ago
  6. 4641429 rpi: add support for Raspberry Pi 2 model B by Stephen Warren · 10 years ago