On 26/02/2020 22:39, kevans@FreeBSD.org wrote:

From: Kyle Evans kevans@FreeBSD.org

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

Queued now for rpi-next

Sorry for the far to long delay

board/raspberrypi/rpi/rpi.c | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/board/raspberrypi/rpi/rpi.c b/board/raspberrypi/rpi/rpi.c index e367ba3092..0206a093d4 100644 --- a/board/raspberrypi/rpi/rpi.c +++ b/board/raspberrypi/rpi/rpi.c @@ -489,7 +489,8 @@ int ft_board_setup(void *blob, bd_t *bd)

#ifdef CONFIG_EFI_LOADER /* Reserve the spin table */

• efi_add_memory_map(0, 1, EFI_RESERVED_MEMORY_TYPE, 0);

• efi_add_memory_map(0, CONFIG_RPI_EFI_NR_SPIN_PAGES,

• 	   EFI_RESERVED_MEMORY_TYPE, 0);
  

#endif

return 0;