diff options
| author | Daniel Bristot de Oliveira <[email protected]> | 2022-07-29 09:38:45 +0000 |
|---|---|---|
| committer | Steven Rostedt (Google) <[email protected]> | 2022-07-30 18:01:29 +0000 |
| commit | ff0aaf671230d409a68fd7400f41e9eb3ac61dd8 (patch) | |
| tree | b05342b18d422ec95057497a7e8ef1746ca36b6f /tools/verification/dot2/automata.py | |
| parent | rv/include: Add instrumentation helper functions (diff) | |
| download | kernel-ff0aaf671230d409a68fd7400f41e9eb3ac61dd8.tar.gz kernel-ff0aaf671230d409a68fd7400f41e9eb3ac61dd8.zip | |
Documentation/rv: Add a basic documentation
Add the runtime-verification.rst document, explaining the basics of RV
and how to use the interface.
Link: https://lkml.kernel.org/r/4be7d1a88ab1e2eb0767521e1ab52a149a154bc4.1659052063.git.bristot@kernel.org
Cc: Wim Van Sebroeck <[email protected]>
Cc: Guenter Roeck <[email protected]>
Cc: Jonathan Corbet <[email protected]>
Cc: Ingo Molnar <[email protected]>
Cc: Thomas Gleixner <[email protected]>
Cc: Peter Zijlstra <[email protected]>
Cc: Will Deacon <[email protected]>
Cc: Catalin Marinas <[email protected]>
Cc: Marco Elver <[email protected]>
Cc: Dmitry Vyukov <[email protected]>
Cc: "Paul E. McKenney" <[email protected]>
Cc: Shuah Khan <[email protected]>
Cc: Gabriele Paoloni <[email protected]>
Cc: Juri Lelli <[email protected]>
Cc: Clark Williams <[email protected]>
Cc: Tao Zhou <[email protected]>
Cc: Randy Dunlap <[email protected]>
Cc: [email protected]
Cc: [email protected]
Cc: [email protected]
Signed-off-by: Daniel Bristot de Oliveira <[email protected]>
Signed-off-by: Steven Rostedt (Google) <[email protected]>
Diffstat (limited to 'tools/verification/dot2/automata.py')
0 files changed, 0 insertions, 0 deletions