//! [ArceOS](https://github.com/arceos-org/arceos) synchronization primitives.
//!
//! Currently supported primitives:
//!
//! - [`Mutex`]: A mutual exclusion primitive.
//! - mod [`spin`]: spinlocks imported from the [`ax-kspin`] crate.
//!
//! # Cargo Features
//!
//! - `multitask`: For use in the multi-threaded environments. If the feature is
//! not enabled, [`Mutex`] will be an alias of [`spin::SpinNoIrq`]. This
//! feature is enabled by default.
pub use ax_kspin as spin;
pub use ;
pub use ;