1# SPDX-License-Identifier: GPL-2.0-only 2# 3config RV_MON_LTL_PERTASK 4 depends on RV 5 # XXX: add dependencies if there 6 select LTL_MON_EVENTS_ID 7 bool "ltl_pertask monitor" 8 help 9 auto-generated 10