1. 88c9e1d rpi4: Amend DTB to advertise PSCI by Andre Przywara · Thu Jul 11 01:45:39 2019 +0100
  2. aa89ae4 rpi4: Determine BL33 entry point at runtime by Andre Przywara · Thu Jul 11 01:42:12 2019 +0100
  3. 2d8e99a rpi4: Accommodate "armstub8.bin" header at the beginning of BL31 image by Andre Przywara · Wed Jul 10 18:09:18 2019 +0100
  4. 6d471e1 Add basic support for Raspberry Pi 4 by Andre Przywara · Tue Jul 09 11:25:57 2019 +0100