sel4_config::consts

Constant VERIFICATION_BUILD

Source 
pub const VERIFICATION_BUILD: bool = false;