PLATFORM_INFO

sel4_platform_info

Constant PLATFORM_INFO 

Source 
pub const PLATFORM_INFO: PlatformInfo<'_, u64>;