# Default configuration for riscv-linux-user