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#![allow(clippy::uninlined_format_args)]
14
15mod bf;
16mod c;
17mod fault;
18mod invocations;
19mod ipc_buffer;
20mod syscalls;
21
22pub use bf::*;
23pub use c::*;
24pub use invocations::*;
25pub use syscalls::*;
26
27pub type ReplyAuthority = sel4_config::sel4_cfg_if! {
28    if #[sel4_cfg(KERNEL_MCS)] {
29        seL4_CPtr
30    } else {
31        ()
32    }
33};
34
35pub type WaitMessageInfo = sel4_config::sel4_cfg_if! {
36    if #[sel4_cfg(KERNEL_MCS)] {
37        seL4_MessageInfo
38    } else {
39        ()
40    }
41};