From 5cecc12d4cab326c73fb001898d46eac2a5f8566 Mon Sep 17 00:00:00 2001 From: Jorge Aparicio Date: Tue, 9 May 2017 08:38:35 -0500 Subject: v0.1.0 --- src/lib.rs | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) (limited to 'src') diff --git a/src/lib.rs b/src/lib.rs index 57f7f42..60cae6f 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -18,10 +18,10 @@ //! multitasking**. //! - **Efficient and data race free memory sharing** through fine grained *non //! global* critical sections. -//! - **Deadlock free execution**, guaranteed at compile time. +//! - **Deadlock free execution** guaranteed at compile time. //! - **Minimal scheduling overhead** as the scheduler has no "software -//! component"; the hardware does all the scheduling. -//! - **Highly efficient memory usage**. All the tasks share a single call stack +//! component": the hardware does all the scheduling. +//! - **Highly efficient memory usage**: All the tasks share a single call stack //! and there's no hard dependency on a dynamic memory allocator. //! - **All Cortex M3, M4 and M7 devices are fully supported**. M0(+) is //! partially supported as the whole API is not available due to missing @@ -489,6 +489,8 @@ impl Local { unsafe impl Sync for Local {} /// A resource with ceiling `C` +/// +/// A resource is used to share memory between two or more tasks pub struct Resource { _ceiling: PhantomData, data: UnsafeCell, -- cgit v1.2.3