CT_CONFIG_VERSION="4"
CT_ARCH_RISCV=y
CT_TARGET_VENDOR=""
CT_LIBC_NONE=y
# CT_CC_GCC_LDBL_128 is not set