sel4_root_task

Macro debug_print

Source
macro_rules! debug_print {
    ($($arg:tt)*) => { ... };
}
Expand description

Like std::print!, except backed by debug_put_char.