1. eb10a86 plat: rpi4: Skip UART initialisation by Andre Przywara · 4 years, 7 months ago
  2. 48a5291 rpi4: Add stdout-path to device tree by Andre Przywara · 5 years ago
  3. 88ac8b6 rpi4: Add GIC maintenance interrupt to GIC DT node by Andre Przywara · 5 years ago
  4. 8b83a51 rpi4: Cleanup memory regions, move pens to first page by Andre Przywara · 5 years ago
  5. af7df71 rpi4: Reserve resident BL31 region from non-secure world by Andre Przywara · 5 years ago
  6. 88c9e1d rpi4: Amend DTB to advertise PSCI by Andre Przywara · 5 years ago
  7. aa89ae4 rpi4: Determine BL33 entry point at runtime by Andre Przywara · 5 years ago
  8. 2d8e99a rpi4: Accommodate "armstub8.bin" header at the beginning of BL31 image by Andre Przywara · 5 years ago
  9. 6d471e1 Add basic support for Raspberry Pi 4 by Andre Przywara · 5 years ago