linux/Documentation/tools/rv
Gabriele Monaco 13578a0871 rv: Add sample hybrid monitor stall
Add a sample monitor to showcase hybrid/timed automata.
The stall monitor identifies tasks stalled for longer than a threshold
and reacts when that happens.

Reviewed-by: Nam Cao <namcao@linutronix.de>
Link: https://lore.kernel.org/r/20260330111010.153663-7-gmonaco@redhat.com
Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>
History 2026-03-31 16:47:17 +02:00
..
common_appendix.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
common_ikm.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
index.rst rv: Add sample hybrid monitor stall 2026-03-31 16:47:17 +02:00
Makefile Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
rv-list.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
rv-mon-sched.rst Documentation/rv: Add docs for the sched monitors 2025-03-24 17:27:40 -04:00
rv-mon-stall.rst rv: Add sample hybrid monitor stall 2026-03-31 16:47:17 +02:00
rv-mon-wip.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
rv-mon-wwnr.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00
rv-mon.rst Documentation/tools/rv: fix document header 2024-07-03 16:36:21 -06:00
rv.rst Documentation/rv: Add verification/rv man pages 2022-12-09 18:06:24 -05:00