1# SPDX-License-Identifier: GPL-2.0-only 2# 3config DA_MON_EVENTS 4 bool 5 6config DA_MON_EVENTS_IMPLICIT 7 select DA_MON_EVENTS 8 bool 9 10config DA_MON_EVENTS_ID 11 select DA_MON_EVENTS 12 bool 13 14menuconfig RV 15 bool "Runtime Verification" 16 depends on TRACING 17 help 18 Enable the kernel runtime verification infrastructure. RV is a 19 lightweight (yet rigorous) method that complements classical 20 exhaustive verification techniques (such as model checking and 21 theorem proving). RV works by analyzing the trace of the system's 22 actual execution, comparing it against a formal specification of 23 the system behavior. 24 25 For further information, see: 26 Documentation/trace/rv/runtime-verification.rst 27 28source "kernel/trace/rv/monitors/wip/Kconfig" 29source "kernel/trace/rv/monitors/wwnr/Kconfig" 30source "kernel/trace/rv/monitors/sched/Kconfig" 31source "kernel/trace/rv/monitors/tss/Kconfig" 32source "kernel/trace/rv/monitors/sco/Kconfig" 33source "kernel/trace/rv/monitors/snroc/Kconfig" 34source "kernel/trace/rv/monitors/scpd/Kconfig" 35source "kernel/trace/rv/monitors/snep/Kconfig" 36source "kernel/trace/rv/monitors/sncid/Kconfig" 37# Add new monitors here 38 39config RV_REACTORS 40 bool "Runtime verification reactors" 41 default y 42 depends on RV 43 help 44 Enables the online runtime verification reactors. A runtime 45 monitor can cause a reaction to the detection of an exception 46 on the model's execution. By default, the monitors have 47 tracing reactions, printing the monitor output via tracepoints, 48 but other reactions can be added (on-demand) via this interface. 49 50config RV_REACT_PRINTK 51 bool "Printk reactor" 52 depends on RV_REACTORS 53 default y 54 help 55 Enables the printk reactor. The printk reactor emits a printk() 56 message if an exception is found. 57 58config RV_REACT_PANIC 59 bool "Panic reactor" 60 depends on RV_REACTORS 61 default y 62 help 63 Enables the panic reactor. The panic reactor emits a printk() 64 message if an exception is found and panic()s the system. 65