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