Quelle  Kconfig   Sprache: Coq

# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_SNEP
 depends on RV
 depends on TRACE_PREEMPT_TOGGLE
 depends on RV_MON_SCHED
 default y
 select DA_MON_EVENTS_IMPLICIT
 bool "snep monitor"
 help
   Monitor to ensure schedule does not enable preempt.
   This monitor is part of the sched monitors collection.

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