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:
source code:
kernel/trace/rv/monitors/sched/sched.c