Constant sel4_config::consts::ARCH_X86_64

pub const ARCH_X86_64: bool = false;