Constant sel4_config::consts::COLOUR_PRINTING

pub const COLOUR_PRINTING: bool = true;