src/cpu/intel/model_1067x/Kconfig

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