# Default configuration for nios2-linux-user