#write_config_file

RISCV_ARCH=rv32imac
RISCV_ABI=ilp32