Commit 21445969 authored by Nam Cao's avatar Nam Cao Committed by Steven Rostedt (Google)
Browse files

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: default avatarGabriele Monaco <gmonaco@redhat.com>
Signed-off-by: default avatarNam Cao <namcao@linutronix.de>
Signed-off-by: default avatarSteven Rostedt (Google) <rostedt@goodmis.org>
parent 0a949252

tools/verification/dot2/dot2k.py

+2 −1
Original line number Diff line number Diff line
@@ -35,6 +35,7 @@ class dot2k(Dot2c): 
            self.states = []

            self.main_c = self.__read_file(self.monitor_templates_dir + "main_container.c")

            self.main_h = self.__read_file(self.monitor_templates_dir + "main_container.h")

            self.kconfig = self.__read_file(self.monitor_templates_dir + "Kconfig_container")

        else:

            super().__init__(file_path, extra_params.get("model_name"))

tools/verification/dot2/dot2k_templates/Kconfig_container

0 → 100644
+5 −0
Original line number Diff line number Diff line 
config RV_MON_%%MODEL_NAME_UP%%

	depends on RV

	bool "%%MODEL_NAME%% monitor"

	help

	  %%DESCRIPTION%%