esp_idf_sys

Constant tskKERNEL_VERSION_BUILD

Source 
pub const tskKERNEL_VERSION_BUILD: u32 = 1;