Constant sel4_config::consts::ARCH_AARCH64

pub const ARCH_AARCH64: bool = true;