# Default configuration for mipsn32el-linux-user