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