13 May
2020
13 May
'20
6:36 p.m.
On Wed, May 13, 2020 at 7:13 AM Matthias Brugger mbrugger@suse.com wrote:
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
No worries, thanks! =-)