# Default configuration for or1k-linux-user