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