1# Default configuration for i386-softmmu
2
3# Uncomment the following lines to disable these optional devices:
4#
5#CONFIG_AMD_IOMMU=n
6#CONFIG_APPLESMC=n
7#CONFIG_FDC=n
8#CONFIG_HPET=n
9#CONFIG_HYPERV=n
10#CONFIG_ISA_DEBUG=n
11#CONFIG_ISA_IPMI_BT=n
12#CONFIG_ISA_IPMI_KCS=n
13#CONFIG_PCI_IPMI_KCS=n
14#CONFIG_PCI_IPMI_BT=n
15#CONFIG_IPMI_SSIF=n
16#CONFIG_PCI_DEVICES=n
17#CONFIG_PVPANIC=n
18#CONFIG_QXL=n
19#CONFIG_SEV=n
20#CONFIG_SGA=n
21#CONFIG_TEST_DEVICES=n
22#CONFIG_TPM_CRB=n
23#CONFIG_TPM_TIS_ISA=n
24#CONFIG_VTD=n
25#CONFIG_SGX=n
26
27# Boards:
28#
29CONFIG_ISAPC=y
30CONFIG_I440FX=y
31CONFIG_Q35=y
32CONFIG_MICROVM=y
33