Hello!
This patch series adds some documentation and fixes to the Linux-kernel
memory model (LKMM):
1. Add more text to meomry-barrier.txt to de-emphasize
smp_read_barrier_depends().
2. Remove mention of the now-obsolete docker and gentoo images
from README.
3. Add documentation for the new ISA2+pooncelock+pooncelock+pombonce
litmus test.
4. Update the removal of rb-dep, smp_read_barrier_depends(), and
lockless_dereference() to reflect feedback.
Thanx, Paul
------------------------------------------------------------------------
Documentation/memory-barriers.txt | 26 +++++++++++++++--------
tools/memory-model/Documentation/cheatsheet.txt | 6 ++---
tools/memory-model/Documentation/explanation.txt | 4 +--
tools/memory-model/README | 15 -------------
tools/memory-model/linux-kernel.def | 2 -
tools/memory-model/litmus-tests/README | 6 +++++
6 files changed, 30 insertions(+), 29 deletions(-)
