Hello, Ingo,
This series contains updates for the Linux-kernel memory model, which
are ready for inclusion into -tip:
1-5. Add support for SRCU, courtesy of Alan Stern.
6. Dynamically check SRCU lock-to-unlock matching, courtesy of
Luc Maranget.
7. Avoid duplicating herdtools versions in documentation, courtesy
of Andrea Parri.
Thanx, Paul
------------------------------------------------------------------------
Documentation/explanation.txt | 289 ++++++++++++++++++++++--------------------
README | 33 ++++
linux-kernel.bell | 37 ++++-
linux-kernel.cat | 57 +++++---
linux-kernel.def | 7 -
lock.cat | 3
6 files changed, 254 insertions(+), 172 deletions(-)
