Constant esp_idf_sys::tskKERNEL_VERSION_MAJOR

pub const tskKERNEL_VERSION_MAJOR: u32 = 10;