Constant sel4_config::consts::PRINTING

pub const PRINTING: bool = true;