sel4_sync/
lib.rs

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
//
// Copyright 2023, Colias Group, LLC
//
// SPDX-License-Identifier: MIT
//

#![no_std]

pub use lock_api;

pub use sel4_sync_trivial::*;

mod mutex;

pub use mutex::{
    DeferredNotificationMutexSyncOps, GenericRawMutex, MutexSyncOps,
    MutexSyncOpsWithInteriorMutability, MutexSyncOpsWithNotification,
};