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