diff --git a/CHANGELOG.md b/CHANGELOG.md
index c264100..c2d561f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -7,7 +7,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
-- (Add unreleased changes here)
+- Clarified that `acquire()` must provide ordering guarantees
+- Updated atomic-polyfill reference to point to portable-atomic instead
+- Improved documentation for `Mutex` example
+- Added list of some known implementations
 
 ## [v1.1.1] - 2022-09-13
 
@@ -126,4 +129,4 @@ If you're seeing a linker error like `undefined symbol: _critical_section_1_0_ac
 [v0.2.3]: https://github.com/rust-embedded/critical-section/compare/v0.2.2...v0.2.3
 [v0.2.2]: https://github.com/rust-embedded/critical-section/compare/v0.2.1...v0.2.2
 [v0.2.1]: https://github.com/rust-embedded/critical-section/compare/v0.2.0...v0.2.1
-[v0.2.0]: https://github.com/rust-embedded/critical-section/compare/v0.1.0...v0.2.0
\ No newline at end of file
+[v0.2.0]: https://github.com/rust-embedded/critical-section/compare/v0.1.0...v0.2.0
diff --git a/README.md b/README.md
index 0fb4cf8..32f1678 100644
--- a/README.md
+++ b/README.md
@@ -35,7 +35,25 @@ This crate solves the problem by providing this missing universal API.
 
 First, add a dependency on a crate providing a critical section implementation. Enable the `critical-section-*` Cargo feature if required by the crate.
 
-Implementations are typically provided by either architecture-support crates (`cortex-m`, `riscv`, etc), or HAL crates.
+Implementations are typically provided by either architecture-support crates, HAL crates, and OS/RTOS bindings, including:
+
+* The [`cortex-m`] crate provides an implementation for all single-core Cortex-M microcontrollers via its `critical-section-single-core` feature
+* The [`riscv`] crate provides an implementation for all single-hart RISC-V microcontrollers via its `critical-section-single-hart` feature
+* The [`msp430`] crate provides an implementation for all MSP430 microcontrollers via its `critical-section-single-core` feature
+* The [`rp2040-hal`] crate provides a multi-core-safe critical section for the RP2040 microcontroller via its `critical-section-impl` feature
+* The [`avr-device`] crate provides an implementation for all AVR microcontrollers via its `critical-section-impl` feature
+* The [`esp-hal-common`] crate provides an implementation for ESP32 microcontrollers which is used by the ESP HALs
+* The [`embassy-rp`] crate provides a multi-core-safe critical section for the RP2040 microcontroller via its `critical-section-impl` feature
+* The [`nrf-softdevice`] crate provides a critical section that's compatible with the nRF soft-device firmware via its `critical-section-impl` feature
+
+[`cortex-m`]: https://crates.io/crates/cortex-m
+[`riscv`]: https://crates.io/crates/riscv
+[`msp430`]: https://crates.io/crates/msp430
+[`rp2040-hal`]: https://crates.io/crates/rp2040-hal
+[`avr-device`]: https://crates.io/crates/avr-device
+[`esp-hal-common`]: https://crates.io/crates/esp-hal-common
+[`embassy-rp`]: https://docs.embassy.dev/embassy-rp
+[`nrf-softdevice`]: https://docs.embassy.dev/nrf-softdevice
 
 For example, for single-core Cortex-M targets, you can use:
 
diff --git a/src/mutex.rs b/src/mutex.rs
index 3ee806b..c9ea6ff 100644
--- a/src/mutex.rs
+++ b/src/mutex.rs
@@ -3,6 +3,26 @@ use core::cell::{Ref, RefCell, RefMut, UnsafeCell};
 
 /// A mutex based on critical sections.
 ///
+/// # Example
+///
+/// ```no_run
+/// # use critical_section::Mutex;
+/// # use std::cell::Cell;
+///
+/// static FOO: Mutex<Cell<i32>> = Mutex::new(Cell::new(42));
+///
+/// fn main() {
+///     critical_section::with(|cs| {
+///         FOO.borrow(cs).set(43);
+///     });
+/// }
+///
+/// fn interrupt_handler() {
+///     let _x = critical_section::with(|cs| FOO.borrow(cs).get());
+/// }
+/// ```
+///
+///
 /// # Design
 ///
 /// [`std::sync::Mutex`] has two purposes. It converts types that are [`Send`]