Constant sel4_config::consts::KERNEL_STATIC_MAX_PERIOD_US

source · 
pub const KERNEL_STATIC_MAX_PERIOD_US: &str = "0";