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
