commit | 82aef6c6f8a74a0595501bfbb2f6f763c786324f | [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 | c6badda85c6f29904aa8f55c508921d38b93cc60 [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>