hermit::scheduler

Type Alias CoreId

Source 
pub type CoreId = u32;
Expand description

Unique identifier for a core.