# Default configuration for ppc64-softmmu CONFIG_GDBSTUB_XML=y CONFIG_USB_OHCI=y