| commit | 8cb57925beee05a0496e7123473a3c20727df07f | [log] [tgz] |
|---|---|---|
| author | Kyle Evans <kevans@FreeBSD.org> | Wed Feb 26 15:39:10 2020 -0600 |
| committer | Matthias Brugger <mbrugger@suse.com> | Wed May 13 14:04:50 2020 +0200 |
| tree | cea30f33ef9ab4f4aabea9974b74036c71021960 | |
| parent | 335faeaa9b69164b1c3573c58e0e0102d6f8e52d [diff] |
rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES Some systems may use a slightly larger stub to do PSCI for booting the RPi family. The number of pages has been made configurable so that operating systems building U-Boot for use in these kinds of environments can reserve more memory in the EFI memory map. Signed-off-by: Kyle Evans <kevans@FreeBSD.org> Signed-off-by: Matthias Brugger <mbrugger@suse.com>