# Default configuration for ppc64-softmmu