CT_CONFIG_VERSION="4"
CT_OBSOLETE=y
CT_ARCH_X86=y
CT_ARCH_64=y
CT_TARGET_VENDOR="ubuntu14.04"
CT_KERNEL_LINUX=y
CT_LINUX_V_3_13=y
# CT_KERNEL_LINUX_INSTALL_CHECK is not set
CT_GLIBC_V_2_19=y
CT_CC_LANG_CXX=y
