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