leandrof/u-boot
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

rpi: Kconfig option for initial page reservation

Browse Source 
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>
Signed-off-by: Matthias Brugger <mbrugger@suse.com>
This commit is contained in:
Kyle Evans 2020-02-26 15:37:13 -06:00 committed by Matthias Brugger
parent cdabf301db
commit c6badda85c
2 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
arch/arm/mach-bcm283x/Kconfig
View File

@ -209,4 +209,6 @@ config SYS_SOC
config SYS_CONFIG_NAME
default "rpi"
source "board/raspberrypi/rpi/Kconfig"
endmenu

10
board/raspberrypi/rpi/Kconfig Normal file
View File

@ -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