CT_CONFIG_VERSION="4" CT_ARCH_RISCV=y # CT_DEMULTILIB is not set CT_ARCH_USE_MMU=y CT_ARCH_64=y CT_ARCH_ARCH="rv64gc" CT_KERNEL_LINUX=y CT_CC_LANG_CXX=y CT_DEBUG_GDB=y # CT_GDB_CROSS_PYTHON is not set # CT_GDB_GDBSERVER is not set