# Default configuration for mipsn32-linux-user