Kconfig 194 B

12345678910
  1. if SYS_BOARD = "rpi"
  2. config RPI_EFI_NR_SPIN_PAGES
  3. int "Spin table page count"
  4. default 1
  5. help
  6. Number of pages to reserve starting at page 0 for spin tables in the EFI
  7. memory map
  8. endif