[PATCH 1/2] rpi: add an RPi Kconfig to configure size of initial page reservation

Kyle Evans kevans at freebsd.org
Wed Feb 26 22:40:14 CET 2020

On Wed, Feb 26, 2020 at 3:38 PM <kevans at freebsd.org> wrote:
> From: Kyle Evans <kevans at FreeBSD.org>
> While the nearly-universal default for the Raspberry Pi family is to use
> spin tables and the spin table implementation provided by the Raspberry Pi
> Foundation, FreeBSD and others may use a PSCI implementation instead.
> Accommodate these setups by allowing them to configure for more than one
> page to be reserved in the initial reservation.  The default reservation
> remains as one page.

Apologies... this patch 1/2 was a mis-fire, to be replaced by "[PATCH
1/2] rpi: Kconfig option for initial page reservation" -- perhaps time
to step away from the terminal for the day.

More information about the U-Boot mailing list