# Default configuration for mips64el-linux-user