On Tue, 18 Feb 2025 13:31:07 +0100 Gabriele Monaco <[email protected]> wrote:
> 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. > > Signed-off-by: Gabriele Monaco <[email protected]> > --- > kernel/trace/rv/monitors/wip/Kconfig | 2 ++ > kernel/trace/rv/monitors/wip/wip.h | 1 + > kernel/trace/rv/monitors/wwnr/Kconfig | 2 ++ > kernel/trace/rv/monitors/wwnr/wwnr.h | 1 + > tools/verification/dot2/dot2k.py | 1 + > tools/verification/dot2/dot2k_templates/Kconfig | 2 ++ > 6 files changed, 9 insertions(+) While I'm waiting for Peter's answer on the scheduler tracepoints, I'll take these first two patches now, as they are agnostic to the rest of the changes. -- Steve
