diff options
| author | Gabriele Monaco <gmonaco@redhat.com> | 2025-02-18 13:31:07 +0100 |
|---|---|---|
| committer | Steven Rostedt (Google) <rostedt@goodmis.org> | 2025-03-04 12:11:08 -0500 |
| commit | 41a4d2d3e3b6fe86bd54cc4c3b731378290a0d00 (patch) | |
| tree | a5d020d1f2e2603c4b7dfdce4fdc165f549001dd /tools/verification | |
| parent | 486df3466daf7b185f534a7408fa6f9dbb16dbeb (diff) | |
rv: Add license identifiers to monitor files
Some monitor files like the main header and the Kconfig are missing the
license identifier.
Add it to those and make sure the automatic generation script includes
the line in newly created monitors.
Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Ingo Molnar <mingo@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Juri Lelli <juri.lelli@redhat.com>
Link: https://lore.kernel.org/20250218123121.253551-3-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
Diffstat (limited to 'tools/verification')
| -rw-r--r-- | tools/verification/dot2/dot2k.py | 1 | ||||
| -rw-r--r-- | tools/verification/dot2/dot2k_templates/Kconfig | 2 |
2 files changed, 3 insertions, 0 deletions
diff --git a/tools/verification/dot2/dot2k.py b/tools/verification/dot2/dot2k.py index 7547eb290b7d..153cc14bcca4 100644 --- a/tools/verification/dot2/dot2k.py +++ b/tools/verification/dot2/dot2k.py @@ -160,6 +160,7 @@ class dot2k(Dot2c): def fill_model_h_header(self): buff = [] + buff.append("/* SPDX-License-Identifier: GPL-2.0 */") buff.append("/*") buff.append(" * Automatically generated C representation of %s automaton" % (self.name)) buff.append(" * For further information about this format, see kernel documentation:") diff --git a/tools/verification/dot2/dot2k_templates/Kconfig b/tools/verification/dot2/dot2k_templates/Kconfig index 90cdc1e9379e..03100eda1707 100644 --- a/tools/verification/dot2/dot2k_templates/Kconfig +++ b/tools/verification/dot2/dot2k_templates/Kconfig @@ -1,3 +1,5 @@ +# SPDX-License-Identifier: GPL-2.0-only +# config RV_MON_%%MODEL_NAME_UP%% depends on RV select %%MONITOR_CLASS_TYPE%% |