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_TSC
  10         bool
  11         default n
  12
  13 config TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
  14         bool
  15         default n
  16
  17 config XIP_ROM_BASE
  18         hex
  19         default 0xfffe0000
  20
  21 config XIP_ROM_SIZE
  22         hex
  23         default 0x20000