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