sel4/arch/arm/arch/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT
5//
6
7use sel4_config::sel4_cfg_if;
8
9sel4_cfg_if! {
10    if #[sel4_cfg(ARCH_AARCH64)] {
11        #[path = "aarch64/mod.rs"]
12        mod imp;
13    } else if #[sel4_cfg(ARCH_AARCH32)] {
14        #[path = "aarch32/mod.rs"]
15        mod imp;
16    }
17}
18
19// HACK for rustfmt
20#[cfg(any())]
21mod aarch32;
22#[cfg(any())]
23mod aarch64;
24
25pub(crate) use imp::*;