esp_idf_sys

Constant tskKERNEL_VERSION_MAJOR

Source 
pub const tskKERNEL_VERSION_MAJOR: u32 = 10;