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(-)
