sel4/arch/arm/arch/aarch32/
mod.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: MIT
5//
6
7mod fault;
8mod object;
9mod user_context;
10
11sel4_config::sel4_cfg_if! {
12    if #[sel4_cfg(ARM_HYPERVISOR_SUPPORT)] {
13        mod vcpu_reg;
14    }
15}
16
17// HACK for rustfmt
18#[cfg(any())]
19mod vcpu_reg;
20
21pub(crate) mod top_level {
22    pub use super::{
23        object::{
24            ObjectBlueprintAArch32, ObjectBlueprintSeL4Arch, ObjectTypeAArch32, ObjectTypeSeL4Arch,
25        },
26        user_context::UserContext,
27    };
28
29    #[sel4_config::sel4_cfg(ARM_HYPERVISOR_SUPPORT)]
30    pub use super::vcpu_reg::VCpuReg;
31}