# Default configuration for sparc32plus-linux-user