c6badda85c
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>
11 lines
194 B
Plaintext
11 lines
194 B
Plaintext
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
|