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         select NEED_SMALL_2MB_PAGE_TABLES       # QEMU doesn't support 1GB pages
  11
  12 if CPU_QEMU_X86
  13
  14 # coreboot i440fx does not support SMM
  15 choice
  16         prompt "SMM support"
  17         default CPU_QEMU_X86_ASEG_SMM
  18         depends on BOARD_EMULATION_QEMU_X86_Q35
  19
  20 config CPU_QEMU_X86_NO_SMM
  21         bool "No SMM"
  22         select NO_SMM
  23
  24 config CPU_QEMU_X86_ASEG_SMM
  25         bool "SMM in ASEG"
  26         select SMM_ASEG
  27
  28 config CPU_QEMU_X86_TSEG_SMM
  29         bool "SMM in TSEG"
  30         select SMM_TSEG
  31
  32 endchoice
  33
  34 config SMM_TSEG_SIZE
  35         hex
  36         depends on SMM_TSEG
  37         default 0x100000
  38
  39 config MAX_CPUS
  40         int
  41         default 32 if SMM_TSEG
  42         default 4
  43
  44 endif