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// TODO
17#[doc(hidden)]
18pub mod ipc;
19
20pub use channel::{Channel, Child, IrqAckError};
21pub use defer::{DeferredAction, DeferredActionInterface, DeferredActionSlot};
22pub use handler::{Handler, Infallible, Never, NullHandler};
23pub use ipc::{ChannelSet, DisplayChannelSet};
24pub use message::{
25    MessageInfo, MessageLabel, MessageRegisterValue, get_mr, set_mr, with_msg_bytes,
26    with_msg_bytes_mut, with_msg_regs, with_msg_regs_mut,
27};
28pub use symbols::{ipc_buffer_ptr, pd_is_passive, pd_name};
29
30// For macros
31#[doc(hidden)]
32pub mod _private {
33    pub use sel4_immutable_cell::ImmutableCell;
34}
sel4_microkit_base/lib.rs

sel4_microkit_base/
lib.rs
