sched monitor

modulename: monitors/sched/sched.ko

configname: CONFIG_RV_MON_SCHED

Linux Kernel Configuration
└─>Kernel hacking
└─>Tracers
└─>Runtime Verification
└─>sched monitor
In linux kernel since version 5.4.295 (release Date: 2025-06-27)
Collection of monitors to check the scheduler behaves according to specifications.
Enable this to enable all scheduler specification supported by the current kernel.

For further information, see: <a href="https://www.kernel.org/doc/Documentation/trace/rv/monitor_sched.rst
">Documentation/trace/rv/monitor_sched.rst
</a>
source code:
kernel/trace/rv/monitors/sched/sched.c