pub const CPU_DEFAULT_IRQ_PRIO: u32 = 2;