Maximum number of per-task monitor
configname: CONFIG_RV_PER_TASK_MONITORS
Linux Kernel Configuration
└─>Kernel hacking
└─>Tracers
└─>Runtime Verification
└─>Maximum number of per-task monitor
In linux kernel since version 6.17 (release Date: 2025-09-28)
This option configures the maximum number of per-task RV monitors that can run
simultaneously.
simultaneously.