Kconfig

 1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3config RV_MON_SNROC
 4	depends on RV
 5	depends on RV_MON_SCHED
 6	default y
 7	select DA_MON_EVENTS_ID
 8	bool "snroc monitor"
 9	help
10	  Monitor to ensure sched_set_state happens only in the respective task's context.
11	  This monitor is part of the sched monitors collection.
12
13	  For further information, see:
14	    Documentation/trace/rv/monitor_sched.rst