[PATCH 1/2] rpi: Kconfig option for initial page reservation

[Matthias Brugger]

On 26/02/2020 22:37, 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.
> 
> Signed-off-by: Kyle Evans <kevans at FreeBSD.org>

Queued now for rpi-next.

Sorry for the long delay.

> ---
>  arch/arm/mach-bcm283x/Kconfig |  2 ++
>  board/raspberrypi/rpi/Kconfig | 10 ++++++++++
>  2 files changed, 12 insertions(+)
>  create mode 100644 board/raspberrypi/rpi/Kconfig
> 
> diff --git a/arch/arm/mach-bcm283x/Kconfig b/arch/arm/mach-bcm283x/Kconfig
> index 00419bf254..e6eb904e7f 100644
> --- a/arch/arm/mach-bcm283x/Kconfig
> +++ b/arch/arm/mach-bcm283x/Kconfig
> @@ -209,4 +209,6 @@ config SYS_SOC
>  config SYS_CONFIG_NAME
>  	default "rpi"
>  
> +source "board/raspberrypi/rpi/Kconfig"
> +
>  endmenu
> diff --git a/board/raspberrypi/rpi/Kconfig b/board/raspberrypi/rpi/Kconfig
> new file mode 100644
> index 0000000000..e40088fde1
> --- /dev/null
> +++ b/board/raspberrypi/rpi/Kconfig
> @@ -0,0 +1,10 @@
> +if SYS_BOARD = "rpi"
> +
> +config RPI_EFI_NR_SPIN_PAGES
> +	int "Spin table page count"
> +	default 1
> +	help
> +	  Number of pages to reserve starting at page 0 for spin tables in the EFI
> +	  memory map
> +
> +endif
>