Kyle Evans 82aef6c6f8 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>		2020-05-13 14:04:50 +02:00
..
Kconfig	rpi: Kconfig option for initial page reservation	2020-05-13 14:04:49 +02:00
lowlevel_init.S	rpi: push fw_dtb_pointer in the .data section	2019-11-24 10:46:27 +01:00
MAINTAINERS	RPi: Add mbrugger as board maintainer	2019-03-29 10:53:18 -04:00
Makefile	SPDX: Convert all of our single license tags to Linux Kernel style	2018-05-07 09:34:12 -04:00
rpi.c	rpi: use the newly-added RPI_EFI_NR_SPIN_PAGES	2020-05-13 14:04:50 +02:00