xref: /linux/kernel/trace/rv/monitors/sched/Kconfig (revision 4ff261e725d7376c12e745fdbe8a33cd6dbd5a83) 
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
13