//! Stop interrupts, timer, seconary CPUs... void board_panic_stop_world(void) { board_interrupts_disable_all(); }
void board_init_interrupts(void) { board_interrupts_disable_all(); }