src/cpu/qemu-x86/Kconfig

   1 ## SPDX-License-Identifier: GPL-2.0-only
   2
   3 config CPU_QEMU_X86
   4         bool
   5         select ARCH_X86
   6         select HAVE_X86_64_SUPPORT
   7         select UDELAY_TSC
   8         select TSC_MONOTONIC_TIMER
   9         select UNKNOWN_TSC_RATE
  10
  11 if CPU_QEMU_X86
  12
  13 # coreboot i440fx does not support SMM
  14 choice
  15         prompt "SMM support"
  16         default CPU_QEMU_X86_ASEG_SMM
  17         depends on BOARD_EMULATION_QEMU_X86_Q35
  18
  19 config CPU_QEMU_X86_NO_SMM
  20         bool "No SMM"
  21         select NO_SMM
  22
  23 config CPU_QEMU_X86_ASEG_SMM
  24         bool "SMM in ASEG"
  25         select SMM_ASEG
  26
  27 config CPU_QEMU_X86_TSEG_SMM
  28         bool "SMM in TSEG"
  29         select SMM_TSEG
  30
  31 endchoice
  32
  33 config MAX_CPUS
  34         int
  35         default 32 if SMM_TSEG
  36         default 4
  37
  38 endif