On Wed, Feb 26, 2020 at 3:38 PM <kev...@freebsd.org> wrote: > > From: Kyle Evans <kev...@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.