# Default configuration for cris-linux-user