Constant sel4_config::consts::BINARY_VERIFICATION_BUILD

pub const BINARY_VERIFICATION_BUILD: bool = false;