diff options
Diffstat (limited to 'tools/memory-model/linux-kernel.cfg')
| -rw-r--r-- | tools/memory-model/linux-kernel.cfg | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/memory-model/linux-kernel.cfg b/tools/memory-model/linux-kernel.cfg index 3c8098e99f41..69b04f3aad73 100644 --- a/tools/memory-model/linux-kernel.cfg +++ b/tools/memory-model/linux-kernel.cfg @@ -1,6 +1,7 @@ macros linux-kernel.def bell linux-kernel.bell model linux-kernel.cat +variant lkmmv2 graph columns squished true showevents noregs |