# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_SLEEP
 depends on RV
 select RV_LTL_MONITOR
 depends on HAVE_SYSCALL_TRACEPOINTS
 depends on RV_MON_RTAPP
 select TRACE_IRQFLAGS
 default y
 select LTL_MON_EVENTS_ID
 bool "sleep monitor"
 help
   Monitor that real-time tasks do not sleep in a manner that may
   cause undesirable latency.

   If you are developing a real-time system and not entirely sure whether
   the applications are designed correctly for real-time, you want to say
   Y here.

   Enabling this monitor may have performance impact (due to select
   TRACE_IRQFLAGS). Therefore, you probably should say N for
   production kernel.