sel4_platform_info

Constant PLATFORM_INFO

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