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