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