src/cpu/x86/Kconfig

   1 config SERIAL_CPU_INIT
   2         bool
   3         default y
   4
   5 config UDELAY_TSC
   6         bool
   7         default n
   8
   9 config TSC_X86RDTSC_CALIBRATE_WITH_TIMER2
  10         bool
  11         default n
  12
  13 config XIP_ROM_BASE
  14         hex
  15         default 0xfffe0000
  16
  17 config XIP_ROM_SIZE
  18         hex
  19         default 0x2000