| Kyle Evans | c6badda | 2020-02-26 15:37:13 -0600 | [diff] [blame] | 1 | if SYS_BOARD = "rpi" |
| 2 | |||||
| 3 | config RPI_EFI_NR_SPIN_PAGES | ||||
| 4 | int "Spin table page count" | ||||
| 5 | default 1 | ||||
| 6 | help | ||||
| 7 | Number of pages to reserve starting at page 0 for spin tables in the EFI | ||||
| 8 | memory map | ||||
| 9 | |||||
| 10 | endif | ||||