CT_CONFIG_VERSION="4"
CT_EXPERIMENTAL=y
CT_ARCH_OPENRISC=y
CT_ARCH_USE_MMU=y
CT_TARGET_VENDOR=""
CT_KERNEL_LINUX=y
CT_CC_LANG_CXX=y
CT_DEBUG_GDB=y
# CT_GDB_CROSS_PYTHON is not set