sel4_config::consts

Constant COLOUR_PRINTING

Source 
pub const COLOUR_PRINTING: bool = true;