CT_CONFIG_VERSION="4"
CT_ARCH_RISCV=y
CT_ARCH_ARCH="rv32ima"
CT_ARCH_ABI="ilp32"
CT_TARGET_VENDOR="hifive1"
# CT_CC_GCC_LDBL_128 is not set