#write_config_file

RISCV_ARCH=rv32imc
RISCV_ABI=ilp32
RISCV_CMODEL=medlow
COREIP_MEM_WIDTH=32

TARGET_TAGS=rtl