| Message ID | 8ebb6cc8f566eaf6c62eef8391e930dbac10d66b.1741708239.git.namcao@linutronix.de (mailing list archive) |
|---|---|
| State | New |
| Headers | show |
| Series | RV: Linear temporal logic monitors for RT application | expand |
On Tue, 2025-03-11 at 18:05 +0100, Nam Cao wrote: > There are 2 monitors to check realtime applications. Users may want > to > enable them both. > > Signed-off-by: Nam Cao <namcao@linutronix.de> > --- > include/linux/rv.h | 2 +- > 1 file changed, 1 insertion(+), 1 deletion(-) > > diff --git a/include/linux/rv.h b/include/linux/rv.h > index 6de4f93b390e..224c2194f582 100644 > --- a/include/linux/rv.h > +++ b/include/linux/rv.h > @@ -44,7 +44,7 @@ struct ltl_monitor { > * adding more or developing a dynamic method. So far, none of > * these are justified. > */ > -#define RV_PER_TASK_MONITORS 1 > +#define RV_PER_TASK_MONITORS 2 > #define RV_PER_TASK_MONITOR_INIT (RV_PER_TASK_MONITORS) > > union rv_task_monitor { I was thinking this value could be defined in Kconfig. Here you are adding two monitors that belong with each other, that would fit nicely with nested monitors [1] (patch waiting for final Ack). Your monitor (let's call it rtapp) would require 2 slots and you could enforce that in Kconfig. Of course you don't have to add it to this series, but just as a heads up. Cheers, Gabriele [1] - https://lore.kernel.org/lkml/20250218123121.253551-5-gmonaco@redhat.com/
diff --git a/include/linux/rv.h b/include/linux/rv.h index 6de4f93b390e..224c2194f582 100644 --- a/include/linux/rv.h +++ b/include/linux/rv.h @@ -44,7 +44,7 @@ struct ltl_monitor { * adding more or developing a dynamic method. So far, none of * these are justified. */ -#define RV_PER_TASK_MONITORS 1 +#define RV_PER_TASK_MONITORS 2 #define RV_PER_TASK_MONITOR_INIT (RV_PER_TASK_MONITORS) union rv_task_monitor {
There are 2 monitors to check realtime applications. Users may want to enable them both. Signed-off-by: Nam Cao <namcao@linutronix.de> --- include/linux/rv.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)