FIRST_HART_ID

sel4_config::consts

Constant FIRST_HART_ID 

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