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