#write_config_file

RISCV_ARCH=rv64imac
RISCV_ABI=lp64