Function debug_put_char 

pub fn debug_put_char(c: u8)

Prints via a link-time hook.

This function uses the following externally defined symbol:

unsafe extern "Rust" {
    fn __sel4_panicking_env__debug_put_char(c: u8);
}

register_debug_put_char provides a typesafe way to define that symbol.