#write_config_file

RISCV_ARCH=rv32imac
RISCV_ABI=ilp32
RISCV_CMODE=medlow

TARGET_TAGS=fpga openocd