sel4_config::consts

Constant FIRST_HART_ID

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