Kconfig

 1# SPDX-License-Identifier: GPL-2.0-only
 2#
 3config RV_MON_SCHED
 4	depends on RV
 5	depends on RV_PER_TASK_MONITORS >= 3
 6	bool "sched monitor"
 7	help
 8	  Collection of monitors to check the scheduler behaves according to specifications.
 9	  Enable this to enable all scheduler specification supported by the current kernel.
10
11	  For further information, see:
12	    Documentation/trace/rv/monitor_sched.rst