diff options
| author | Andre Przywara <andre.przywara@arm.com> | 2019-07-15 08:58:23 +0100 |
|---|---|---|
| committer | Andre Przywara <andre.przywara@arm.com> | 2019-09-13 16:54:21 +0100 |
| commit | a95e6415ac3117eeaec522574bde753f1e4ffb9f (patch) | |
| tree | 20a4c77c471d4e0cb03a17a9129ed884c61e9923 /lib/psci/psci_common.c | |
| parent | 110fd1fe4d3315a774199a8c58810a02ec3eb041 (diff) | |
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>
Diffstat (limited to 'lib/psci/psci_common.c')
0 files changed, 0 insertions, 0 deletions