linux-stable/tools/verification
Nam Cao e1250f1a97 verification/dot2k: Make a separate dot2k_templates/Kconfig_container
[ Upstream commit 214459699f ]

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>
Signed-off-by: Sasha Levin <sashal@kernel.org>
2025-08-20 18:41:05 +02:00
..
dot2 verification/dot2k: Make a separate dot2k_templates/Kconfig_container 2025-08-20 18:41:05 +02:00
models
rv tools/rv: Do not skip idle in trace 2025-08-15 16:38:52 +02:00