Constant sel4_config::consts::KERNEL_STATIC_MAX_PERIOD_US

pub const KERNEL_STATIC_MAX_PERIOD_US: &str = "0";