Constant CONFIG_LINUX 

pub const CONFIG_LINUX: u32 = 1;