* Paul E. McKenney <paul...@kernel.org> wrote:
> Hello, Ingo! > > This pull request contains Linux-Kernel Memory-Model commits for v5.10. > These have been subjected to LKML review: > > https://lore.kernel.org/lkml/20200831182012.GA1965@paulmck-ThinkPad-P72 > > All of these have also been subjected to the kbuild test robot and > -next testing. The following changes since v5.9-rc1 are available in > the git repository at: > > git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git lkmm > > for you to fetch changes up to 0ce0c78eff7d22c8a261de6c4305a5abb638c200: > > tools/memory-model: Expand the cheatsheet.txt notion of relaxed (2020-09-04 > 11:58:15 -0700) > > ---------------------------------------------------------------- > Alexander A. Klimov (1): > Replace HTTP links with HTTPS ones: LKMM > > Paul E. McKenney (4): > tools/memory-model: Update recipes.txt prime_numbers.c path > tools/memory-model: Improve litmus-test documentation > tools/memory-model: Add a simple entry point document > tools/memory-model: Expand the cheatsheet.txt notion of relaxed > > tools/memory-model/Documentation/cheatsheet.txt | 33 +- > tools/memory-model/Documentation/litmus-tests.txt | 1074 > +++++++++++++++++++++ > tools/memory-model/Documentation/recipes.txt | 4 +- > tools/memory-model/Documentation/references.txt | 2 +- > tools/memory-model/Documentation/simple.txt | 271 ++++++ > tools/memory-model/README | 160 +-- > 6 files changed, 1410 insertions(+), 134 deletions(-) > create mode 100644 tools/memory-model/Documentation/litmus-tests.txt > create mode 100644 tools/memory-model/Documentation/simple.txt Pulled, thanks a lot Paul! Ingo
