Skip to content

Commit

Permalink
x
Browse files Browse the repository at this point in the history
  • Loading branch information
nspin committed Feb 14, 2024
1 parent c7101b8 commit 7a8a6de
Showing 1 changed file with 1 addition and 2 deletions.
3 changes: 1 addition & 2 deletions crates/private/meta/src/lib.rs
Original file line number Diff line number Diff line change
Expand Up @@ -22,8 +22,7 @@
//! - [`sel4_sync`]: Synchronization constructs using seL4 IPC. Currently only supports
//! notification-based mutexes.
//! - [`sel4_logging`]: [`Log`](log::Log) implementation for the [`log`] crate.
//! - [`sel4_externally_shared`]: Abstractions for interacting with data structures in shared
//! memory.
//! - [`sel4_externally_shared`]: Abstractions for interacting with data in shared memory.
//! - [`sel4_shared_ring_buffer`]: Implementation of shared data structures used in the [seL4 Device
//! Driver Framework](https://github.com/lucypa/sDDF).
//! - `sel4_async_*`: Crates for leveraging async Rust in seL4 userspace.
Expand Down

0 comments on commit 7a8a6de

Please sign in to comment.