]> git.ipfire.org Git - thirdparty/kernel/stable.git/commit
verification/dot2k: Make a separate dot2k_templates/Kconfig_container
authorNam Cao <namcao@linutronix.de>
Fri, 4 Jul 2025 13:19:57 +0000 (15:19 +0200)
committerSteven Rostedt (Google) <rostedt@goodmis.org>
Thu, 24 Jul 2025 14:42:46 +0000 (10:42 -0400)
commit214459699fd202c28b7b9f787e674acbd3af724a
tree383e0345453a43167ee5a2285733b6cd3eb42d0a
parent0a949252556809ce922e0289c148883e838cb9bb
verification/dot2k: Make a separate dot2k_templates/Kconfig_container

A generated container's Kconfig has an incorrect line:

    select DA_MON_EVENTS_IMPLICIT

This is due to container generation uses the same template Kconfig file as
deterministic automaton monitor.

Therefore, make a separate Kconfig template for container which has only
the necessaries for container.

Cc: Masami Hiramatsu <mhiramat@kernel.org>
Cc: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
Link: https://lore.kernel.org/d54fd7ee120785bec5695220e837dbbd6efb30e5.1751634289.git.namcao@linutronix.de
Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
Signed-off-by: Nam Cao <namcao@linutronix.de>
Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>
tools/verification/dot2/dot2k.py
tools/verification/dot2/dot2k_templates/Kconfig_container [new file with mode: 0644]