# Default configuration for riscv32-softmmu