Constant sel4_config::consts::HARDWARE_DEBUG_API

source ยท
pub const HARDWARE_DEBUG_API: bool = false;