sel4_config::consts

Constant KERNEL_STATIC_MAX_PERIOD_US

Source
pub const KERNEL_STATIC_MAX_PERIOD_US: &str = "0";