Alessandro Carminati bfa87ac86c rv/monitors: Move monitor structure in rodata ... It makes sense to move the important monitor structure into rodata to prevent accidental structure modification. Link: https://lkml.kernel.org/r/20221122173648.4732-1-acarmina@redhat.com Signed-off-by: Alessandro Carminati <acarmina@redhat.com> Acked-by: Daniel Bristot de Oliveira <bristot@kernel.org> Signed-off-by: Steven Rostedt (Google) <rostedt@goodmis.org>		2022-12-20 11:46:40 -05:00
..
dot2k_templates	rv/monitor: Add __init/__exit annotations to module init/exit funcs	2022-09-26 18:10:51 -04:00
automata.py	Documentation/rv: Add deterministic automaton documentation	2022-07-30 14:01:29 -04:00
dot2c	Documentation/rv: Add deterministic automaton documentation	2022-07-30 14:01:29 -04:00
dot2c.py	rv/monitors: Move monitor structure in rodata	2022-12-20 11:46:40 -05:00
dot2k	Documentation/rv: Add deterministic automata monitor synthesis documentation	2022-07-30 14:01:29 -04:00
dot2k.py	Documentation/rv: Add deterministic automata monitor synthesis documentation	2022-07-30 14:01:29 -04:00
Makefile	tools/rv: Add dot2k	2022-07-30 14:01:29 -04:00