xref: /linux/kernel/trace/rv/monitors/sncid/Kconfig (revision 88221ac0d560700b50493aedc768f728aa585141)
1# SPDX-License-Identifier: GPL-2.0-only
2#
3config RV_MON_SNCID
4	depends on RV
5	depends on IRQSOFF_TRACER
6	depends on RV_MON_SCHED
7	default y
8	select DA_MON_EVENTS_IMPLICIT
9	bool "sncid monitor"
10	help
11	  Monitor to ensure schedule is not called with interrupt disabled.
12	  This monitor is part of the sched monitors collection.
13
14	  For further information, see:
15	    Documentation/trace/rv/monitor_sched.rst
16