aboutsummaryrefslogtreecommitdiff
path: root/tools/memory-model/linux-kernel.cfg (follow)
Commit message (Expand)AuthorAgeFilesLines
* Automate memory-barriers.txt; provide Linux-kernel memory modelPaul E. McKenney2018-01-241-0/+21