sel4_config::consts

Constant HARDWARE_DEBUG_API

Source 
pub const HARDWARE_DEBUG_API: bool = false;