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

[Kyle Evans]

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.