src/cpu/x86/Kconfig

   1 config SERIAL_CPU_INIT
   2         bool
   3         default y
   4
   5 config WAIT_BEFORE_CPUS_INIT
   6         bool
   7         default n
   8
   9 config UDELAY_IO
  10         bool
  11         default y if !UDELAY_LAPIC && !UDELAY_TSC
  12         default n
  13
  14 config UDELAY_LAPIC
  15         bool
  16         default n
  17
  18 config UDELAY_TSC
  19         bool
  20         default n
  21
  22 config TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
  23         bool
  24         default n
  25
  26 config XIP_ROM_BASE
  27         hex
  28         default 0xffff0000
  29
  30 config XIP_ROM_SIZE
  31         hex
  32         default 0x10000