sel4_config::consts

Constant PRINTING

Source 
pub const PRINTING: bool = true;