sel4_microkit_base/
lib.rs

1//
2// Copyright 2024, Colias Group, LLC
3//
4// SPDX-License-Identifier: BSD-2-Clause
5//
6
7#![no_std]
8#![feature(used_with_arg)]
9
10mod channel;
11mod defer;
12mod handler;
13mod message;
14mod symbols;
15
16#[doc(hidden)]
17pub mod ipc;
18
19pub use channel::{Channel, Child, IrqAckError};
20pub use defer::{DeferredAction, DeferredActionInterface, DeferredActionSlot};
21pub use handler::{Handler, Infallible, Never, NullHandler};
22pub use message::{
23    get_mr, set_mr, with_msg_bytes, with_msg_bytes_mut, with_msg_regs, with_msg_regs_mut,
24    MessageInfo, MessageLabel, MessageRegisterValue,
25};
26pub use symbols::{ipc_buffer_ptr, pd_is_passive, pd_name};
27
28// For macros
29#[doc(hidden)]
30pub mod _private {
31    pub use sel4_immutable_cell::ImmutableCell;
32}