snroc monitor
modulename: monitors/snroc/snroc.ko
configname: CONFIG_RV_MON_SNROC
Linux Kernel Configuration
└─>Kernel hacking
└─>Tracers
└─>Runtime Verification
└─>snroc monitor
In linux kernel since version 6.6.86 (release Date: 2025-04-07)
Monitor to ensure sched_set_state happens only in the respective task's context.
This monitor is part of the sched monitors collection.
For further information, see:
This monitor is part of the sched monitors collection.
For further information, see: