Constant tskKERNEL_VERSION_MINOR 

pub const tskKERNEL_VERSION_MINOR: u32 = 5;