diff options
| author | Ulf Lilleengen <[email protected]> | 2024-04-02 19:15:36 +0000 |
|---|---|---|
| committer | GitHub <[email protected]> | 2024-04-02 19:15:36 +0000 |
| commit | 990f2717673de5e6de6be6a9fb001bc0c8d34745 (patch) | |
| tree | 9752309828fa67aa362c68d221cfe0d5c32b112e /embassy-sync/src/lib.rs | |
| parent | 0e709ab0ea4ba5349de23fb24e0a70f01c2fa1e5 (diff) | |
| parent | f8a6007e1cb3fe9b13db4a56872228155ed8f1cb (diff) | |
Merge pull request #2755 from alexmoon/sync-semaphore
Semaphore synchronization primitive
Diffstat (limited to 'embassy-sync/src/lib.rs')
| -rw-r--r-- | embassy-sync/src/lib.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/embassy-sync/src/lib.rs b/embassy-sync/src/lib.rs index 61b173e80..1873483f9 100644 --- a/embassy-sync/src/lib.rs +++ b/embassy-sync/src/lib.rs | |||
| @@ -17,6 +17,7 @@ pub mod once_lock; | |||
| 17 | pub mod pipe; | 17 | pub mod pipe; |
| 18 | pub mod priority_channel; | 18 | pub mod priority_channel; |
| 19 | pub mod pubsub; | 19 | pub mod pubsub; |
| 20 | pub mod semaphore; | ||
| 20 | pub mod signal; | 21 | pub mod signal; |
| 21 | pub mod waitqueue; | 22 | pub mod waitqueue; |
| 22 | pub mod zerocopy_channel; | 23 | pub mod zerocopy_channel; |
