Constant sel4_config::consts::KERNEL_LOG_BUFFER

pub const KERNEL_LOG_BUFFER: bool = false;