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

Message ID 20200226213714.37785-1-kevans@FreeBSD.org
State Superseded
Delegated to: Matthias Brugger
Headers show
Series
  • [1/2] rpi: add an RPi Kconfig to configure size of initial page reservation
Related show

Commit Message

Kyle Evans Feb. 26, 2020, 9:37 p.m. UTC
From: Kyle Evans <kevans@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@FreeBSD.org>
---
 arch/arm/mach-bcm283x/Kconfig |  2 ++
 board/raspberrypi/rpi/Kconfig | 10 ++++++++++
 2 files changed, 12 insertions(+)
 create mode 100644 board/raspberrypi/rpi/Kconfig

Comments

Kyle Evans Feb. 26, 2020, 9:40 p.m. UTC | #1
On Wed, Feb 26, 2020 at 3:38 PM <kevans@freebsd.org> wrote:
>
> From: Kyle Evans <kevans@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.

Patch
diff mbox series

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