xref: /linux/kernel/trace/rv/monitors/sco/Kconfig (revision 88221ac0d560700b50493aedc768f728aa585141)
1*9fd420abSGabriele Monaco# SPDX-License-Identifier: GPL-2.0-only
2*9fd420abSGabriele Monaco#
3*9fd420abSGabriele Monacoconfig RV_MON_SCO
4*9fd420abSGabriele Monaco	depends on RV
5*9fd420abSGabriele Monaco	depends on RV_MON_SCHED
6*9fd420abSGabriele Monaco	default y
7*9fd420abSGabriele Monaco	select DA_MON_EVENTS_IMPLICIT
8*9fd420abSGabriele Monaco	bool "sco monitor"
9*9fd420abSGabriele Monaco	help
10*9fd420abSGabriele Monaco	  Monitor to ensure sched_set_state happens only in thread context.
11*9fd420abSGabriele Monaco	  This monitor is part of the sched monitors collection.
12*9fd420abSGabriele Monaco
13*9fd420abSGabriele Monaco	  For further information, see:
14*9fd420abSGabriele Monaco	    Documentation/trace/rv/monitor_sched.rst
15