blob: e40088fde17b59665e2bfce1f24d8144469eb435 [file] [log] [blame]
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