| 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 | expand |
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.
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