| commit | 0467ce9037df5e08afb9a4c7878198687b3daffa | [log] [tgz] |
|---|---|---|
| author | Andre Przywara <andre.przywara@arm.com> | Mon Jul 15 08:58:23 2019 +0100 |
| committer | Andre Przywara <andre.przywara@arm.com> | Fri Sep 13 16:54:21 2019 +0100 |
| tree | 20a4c77c471d4e0cb03a17a9129ed884c61e9923 | |
| parent | 4f4f769fdafc6a679b91bb0db1170dd982c8664e [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>