1812b31d3SAlex Bennée# Default configuration for i386-softmmu 2812b31d3SAlex Bennée 3812b31d3SAlex Bennée# Uncomment the following lines to disable these optional devices: 4812b31d3SAlex Bennée# 5812b31d3SAlex Bennée#CONFIG_AMD_IOMMU=n 6812b31d3SAlex Bennée#CONFIG_APPLESMC=n 7812b31d3SAlex Bennée#CONFIG_FDC=n 8812b31d3SAlex Bennée#CONFIG_HPET=n 9812b31d3SAlex Bennée#CONFIG_HYPERV=n 10812b31d3SAlex Bennée#CONFIG_ISA_DEBUG=n 11812b31d3SAlex Bennée#CONFIG_ISA_IPMI_BT=n 12812b31d3SAlex Bennée#CONFIG_ISA_IPMI_KCS=n 13812b31d3SAlex Bennée#CONFIG_PCI_IPMI_KCS=n 14812b31d3SAlex Bennée#CONFIG_PCI_IPMI_BT=n 15812b31d3SAlex Bennée#CONFIG_IPMI_SSIF=n 16812b31d3SAlex Bennée#CONFIG_PCI_DEVICES=n 17812b31d3SAlex Bennée#CONFIG_PVPANIC=n 18812b31d3SAlex Bennée#CONFIG_QXL=n 19812b31d3SAlex Bennée#CONFIG_SEV=n 20812b31d3SAlex Bennée#CONFIG_SGA=n 21812b31d3SAlex Bennée#CONFIG_TEST_DEVICES=n 22812b31d3SAlex Bennée#CONFIG_TPM_CRB=n 23812b31d3SAlex Bennée#CONFIG_TPM_TIS_ISA=n 24812b31d3SAlex Bennée#CONFIG_VTD=n 252f44bea9SYang Zhong#CONFIG_SGX=n 26812b31d3SAlex Bennée 27*4921d0a7SPaolo Bonzini# Boards are selected by default, uncomment to keep out of the build. 28*4921d0a7SPaolo Bonzini# CONFIG_ISAPC=n 29*4921d0a7SPaolo Bonzini# CONFIG_I440FX=n 30*4921d0a7SPaolo Bonzini# CONFIG_Q35=n 31*4921d0a7SPaolo Bonzini# CONFIG_MICROVM=n 32