CONFIG_RV_REACTORS: Runtime verification reactors

General informations

The Linux kernel configuration item CONFIG_RV_REACTORS:

• prompt: Runtime verification reactors
• type: bool
• depends on: CONFIG_RV
• defined in kernel/trace/rv/Kconfig
• found in Linux kernels: 6.0–6.12, 6.13-rc+HEAD

Help text

Enables the online runtime verification reactors. A runtime monitor can cause a reaction to the detection of an exception on the model's execution. By default, the monitors have tracing reactions, printing the monitor output via tracepoints, but other reactions can be added (on-demand) via this interface.

Hardware

LKDDb

Raw data from LKDDb:

• (none)

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: