tree 20a4c77c471d4e0cb03a17a9129ed884c61e9923
parent 4f4f769fdafc6a679b91bb0db1170dd982c8664e
author Andre Przywara <andre.przywara@arm.com> 1563177503 +0100
committer Andre Przywara <andre.przywara@arm.com> 1568390061 +0100

rpi3: Make SHARED_RAM optional

The existing Raspberry Pi 3 port sports a number of memory regions,
which are used for several purposes. The upcoming RPi4 port will not use
all of those, so make the SHARED_RAM region optional, by only mapping it
if it has actually been defined. This helps to get a cleaner RPi4 port.

Change-Id: Id69677b7fb6ed48d9f238854b610896785db8cab
Signed-off-by: Andre Przywara <andre.przywara@arm.com>