tree 21da0d0594f14103f7f3baaeae50d017c09c13f9
parent 41bda863305eae92db2e4e18cd057797765d261c
parent e0dea671dceebe935201f1c4796cac5774af152f
author Soby Mathew <soby.mathew@arm.com> 1569577542 +0000
committer TrustedFirmware Code Review <review@review.trustedfirmware.org> 1569577542 +0000

Merge changes from topic "raspberry-pi-4-support" into integration

* changes:
  rpi4: Add initial documentation file
  rpi4: Add stdout-path to device tree
  rpi4: Add GIC maintenance interrupt to GIC DT node
  rpi4: Cleanup memory regions, move pens to first page
  rpi4: Reserve resident BL31 region from non-secure world
  rpi4: Amend DTB to advertise PSCI
  rpi4: Determine BL33 entry point at runtime
  rpi4: Accommodate "armstub8.bin" header at the beginning of BL31 image
  Add basic support for Raspberry Pi 4
  rpi3: Allow runtime determination of UART base clock rate
  FDT helper functions: Respect architecture in PSCI function IDs
  FDT helper functions: Add function documentation