# SPDX-License-Identifier: GPL-2.0-only
java.lang.NullPointerException
config RV_MON_SCHED
 depends on RV
 depends on RV_PER_TASK_MONITORS >= 3
 bool "sched monitor"
 help
   Collection of monitors to check the scheduler behaves according to specifications.
   Enable this to enable all scheduler specification supported by the current kernel.

   For further information, see:
     Documentation/trace/rv/monitor_sched.rst