# Default configuration for unicore32-linux-user