sel4_config::consts

Constant KERNEL_LOG_BUFFER

Source 
pub const KERNEL_LOG_BUFFER: bool = false;