Constant sel4_config::consts::HARDWARE_DEBUG_API

pub const HARDWARE_DEBUG_API: bool = false;