1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40

//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: BSD-2-Clause
//

#![no_std]
#![allow(non_camel_case_types)]
#![allow(non_snake_case)]
#![allow(non_upper_case_globals)]
#![allow(clippy::complexity)]
#![allow(clippy::new_without_default)]

mod bf;
mod c;
mod fault;
mod invocations;
mod ipc_buffer;
mod syscalls;

pub use bf::*;
pub use c::*;
pub use invocations::*;
pub use syscalls::*;

pub type ReplyAuthority = sel4_config::sel4_cfg_if! {
    if #[sel4_cfg(KERNEL_MCS)] {
        seL4_CPtr
    } else {
        ()
    }
};

pub type WaitMessageInfo = sel4_config::sel4_cfg_if! {
    if #[sel4_cfg(KERNEL_MCS)] {
        seL4_MessageInfo
    } else {
        ()
    }
};