Constant tskKERNEL_VERSION_NUMBER

pub const tskKERNEL_VERSION_NUMBER: &'static [u8; 8];