Re: [PATCH v2 08/22] rv: rename CONFIG_DA_MON_EVENTS to CONFIG_RV_MON_EVENTS
From: Gabriele Monaco
Date: Fri Apr 11 2025 - 06:41:37 EST
On Fri, 2025-04-11 at 09:37 +0200, Nam Cao wrote:
> CONFIG_DA_MON_EVENTS is not specific to deterministic automaton. It
> could
> be used for other monitor types. Therefore rename it to
> CONFIG_RV_MON_EVENTS.
>
> This prepares for the introduction of linear temporal logic monitor.
>
> Signed-off-by: Nam Cao <namcao@xxxxxxxxxxxxx>
> ---
Reviewed-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>