Merge changes from topic "raspberry-pi-4-support" into integration
authorSandrine Bailleux <sandrine.bailleux@arm.com>
Mon, 16 Sep 2019 15:17:11 +0000 (15:17 +0000)
committerTrustedFirmware Code Review <review@review.trustedfirmware.org>
Mon, 16 Sep 2019 15:17:11 +0000 (15:17 +0000)
* changes:
  rpi3: Do prescaler and control setup in C
  rpi3: Prepare for supporting a GIC (in RPi4)
  rpi3: Make SHARED_RAM optional
  rpi3: Rename RPI3_IO_BASE to RPI_IO_BASE
  rpi3: Move shared rpi3 files into common directory


Trivial merge