sel4_sys/
lib.rs

1//
2// Copyright 2023, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8#![allow(non_camel_case_types)]
9#![allow(non_snake_case)]
10#![allow(non_upper_case_globals)]
11#![allow(clippy::complexity)]
12#![allow(clippy::new_without_default)]
13
14mod bf;
15mod c;
16mod fault;
17mod invocations;
18mod ipc_buffer;
19mod syscalls;
20
21pub use bf::*;
22pub use c::*;
23pub use invocations::*;
24pub use syscalls::*;
25
26pub type ReplyAuthority = sel4_config::sel4_cfg_if! {
27    if #[sel4_cfg(KERNEL_MCS)] {
28        seL4_CPtr
29    } else {
30        ()
31    }
32};
33
34pub type WaitMessageInfo = sel4_config::sel4_cfg_if! {
35    if #[sel4_cfg(KERNEL_MCS)] {
36        seL4_MessageInfo
37    } else {
38        ()
39    }
40};