# Default configuration for sh4-linux-user