# Default configuration for x86_64-softmmu CONFIG_USB_OHCI=y CONFIG_VGA_PCI=y