board/raspberrypi/rpi/Kconfig


1
2
3
4
5
6
7
8
9
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