LKMM email introduction

[Paul E. McKenney]

Michalis and Viktor are interested in implementing LKMM (or some
approximation thereof) in their tool, and are therefore interested in
locating the relevant litmus tests.  They already know about these:

1) https://github.com/paulmckrcu/litmus
2)    https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/tree/tools/memory-model/litmus-tests?h=dev
3) http://diy.inria.fr/linux

Are there any additional existing litmus tests that they should be using?

								Thanx, Paul