1# SPDX-License-Identifier: GPL-2.0-only 2# 3config RV_MON_TEST_LTL 4 depends on RV 5 # XXX: add dependencies if there 6 depends on RV_MON_LTL_PARENT 7 default y 8 select LTL_MON_EVENTS_ID 9 bool "test_ltl monitor" 10 help 11 Simple description 12