sel4_
platform_
info
0.1.0
sel4_platform_info
Constant
PLATFORM_INFO
Copy item path
Source
pub const PLATFORM_INFO:
PlatformInfo
<'_, u32>;