Constant esp_idf_hal::sys::tskKERNEL_VERSION_MAJOR

source ยท 
pub const tskKERNEL_VERSION_MAJOR: u32 = 10; // 10u32