sel4

Function debug_put_char

Source 
pub fn debug_put_char(c: u8)
Expand description

Corresponds to seL4_DebugPutChar.