# Default configuration for ppc-softmmu CONFIG_GDBSTUB_XML=y CONFIG_USB_OHCI=y CONFIG_ISA_MMIO=y