| # Default configuration for i386-softmmu | |
| # Uncomment the following lines to disable these optional devices: | |
| # | |
| #CONFIG_AMD_IOMMU=n | |
| #CONFIG_APPLESMC=n | |
| #CONFIG_FDC=n | |
| #CONFIG_HPET=n | |
| #CONFIG_HYPERV=n | |
| #CONFIG_ISA_DEBUG=n | |
| #CONFIG_ISA_IPMI_BT=n | |
| #CONFIG_ISA_IPMI_KCS=n | |
| #CONFIG_PCI_IPMI_KCS=n | |
| #CONFIG_PCI_IPMI_BT=n | |
| #CONFIG_IPMI_SSIF=n | |
| #CONFIG_PCI_DEVICES=n | |
| #CONFIG_PVPANIC=n | |
| #CONFIG_QXL=n | |
| #CONFIG_SEV=n | |
| #CONFIG_SGA=n | |
| #CONFIG_TEST_DEVICES=n | |
| #CONFIG_TPM_CRB=n | |
| #CONFIG_TPM_TIS_ISA=n | |
| #CONFIG_VTD=n | |
| #CONFIG_SGX=n | |
| # Boards: | |
| # | |
| CONFIG_ISAPC=y | |
| CONFIG_I440FX=y | |
| CONFIG_Q35=y | |
| CONFIG_MICROVM=y |