# Default configuration for mips64el-softmmu