src/cpu/intel/model_6ex/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_INTEL_MODEL_6EX
   4         bool
   5         select ARCH_X86
   6         select SSE2
   7         select UDELAY_TSC
   8         select TSC_MONOTONIC_TIMER
   9         select AP_IN_SIPI_WAIT
  10         select TSC_SYNC_MFENCE
  11         select SUPPORT_CPU_UCODE_IN_CBFS
  12         select CPU_INTEL_COMMON
  13         select CPU_INTEL_COMMON_TIMEBASE