sel4/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
9// TODO
10// sel4-config doesn't yet play nicely with:
11//   - ARCH_ARM
12//   - ARCH_RISCV
13//   - ARCH_X86
14
15sel4_cfg_if! {
16    if #[sel4_cfg(any(ARCH_AARCH64, ARCH_AARCH32))] {
17        #[path = "arm/mod.rs"]
18        mod imp;
19    } else if #[sel4_cfg(any(ARCH_RISCV64, ARCH_RISCV32))] {
20        #[path = "riscv/mod.rs"]
21        mod imp;
22    } else if #[sel4_cfg(ARCH_X86_64)] {
23        #[path = "x86/mod.rs"]
24        mod imp;
25    }
26}
27
28// HACK for rustfmt
29#[cfg(any())]
30mod arm;
31#[cfg(any())]
32mod riscv;
33#[cfg(any())]
34mod x86;
35
36pub(crate) use imp::*;