COLOUR_PRINTING

sel4_config::consts

Constant COLOUR_PRINTING 

Source 
pub const COLOUR_PRINTING: bool = true;