1. eb10a86 plat: rpi4: Skip UART initialisation by Andre Przywara · Thu Dec 12 16:31:11 2019 +0000
  2. 48a5291 rpi4: Add stdout-path to device tree by Andre Przywara · Mon Jul 15 18:07:51 2019 +0100
  3. 88ac8b6 rpi4: Add GIC maintenance interrupt to GIC DT node by Andre Przywara · Sun Jul 21 01:45:31 2019 +0100
  4. 8b83a51 rpi4: Cleanup memory regions, move pens to first page by Andre Przywara · Mon Jul 15 09:04:27 2019 +0100
  5. af7df71 rpi4: Reserve resident BL31 region from non-secure world by Andre Przywara · Mon Jul 22 00:04:40 2019 +0100
  6. 88c9e1d rpi4: Amend DTB to advertise PSCI by Andre Przywara · Thu Jul 11 01:45:39 2019 +0100
  7. aa89ae4 rpi4: Determine BL33 entry point at runtime by Andre Przywara · Thu Jul 11 01:42:12 2019 +0100
  8. 2d8e99a rpi4: Accommodate "armstub8.bin" header at the beginning of BL31 image by Andre Przywara · Wed Jul 10 18:09:18 2019 +0100
  9. 6d471e1 Add basic support for Raspberry Pi 4 by Andre Przywara · Tue Jul 09 11:25:57 2019 +0100