# Default configuration for ppc64-softmmu CONFIG_GDBSTUB_XML=y CONFIG_USB_OHCI=y CONFIG_ISA_MMIO=y CONFIG_ESCC=y CONFIG_M48T59=y CONFIG_VGA_PCI=y