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 n
  12
  13 config UDELAY_LAPIC
  14         bool
  15         default n
  16
  17 config UDELAY_TSC
  18         bool
  19         default n
  20
  21 config TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
  22         bool
  23         default n
  24
  25 config XIP_ROM_BASE
  26         hex
  27         default 0xfffe0000
  28
  29 config XIP_ROM_SIZE
  30         hex
  31         default 0x20000