Constant sel4_config::consts::VERIFICATION_BUILD

pub const VERIFICATION_BUILD: bool = false;