kernel/trace/rv/Makefile

# SPDX-License-Identifier: GPL-2.0

ccflags-y += -I $(src)		# needed for trace events

obj-$(CONFIG_RV) += rv.o
obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o
obj-$(CONFIG_RV_MON_WWNR) += monitors/wwnr/wwnr.o
obj-$(CONFIG_RV_MON_SCHED) += monitors/sched/sched.o
obj-$(CONFIG_RV_MON_SCO) += monitors/sco/sco.o
obj-$(CONFIG_RV_MON_SNROC) += monitors/snroc/snroc.o
obj-$(CONFIG_RV_MON_SCPD) += monitors/scpd/scpd.o
obj-$(CONFIG_RV_MON_SNEP) += monitors/snep/snep.o
obj-$(CONFIG_RV_MON_RTAPP) += monitors/rtapp/rtapp.o
obj-$(CONFIG_RV_MON_PAGEFAULT) += monitors/pagefault/pagefault.o
obj-$(CONFIG_RV_MON_SLEEP) += monitors/sleep/sleep.o
obj-$(CONFIG_RV_MON_STS) += monitors/sts/sts.o
obj-$(CONFIG_RV_MON_NRP) += monitors/nrp/nrp.o
obj-$(CONFIG_RV_MON_SSSW) += monitors/sssw/sssw.o
obj-$(CONFIG_RV_MON_OPID) += monitors/opid/opid.o
obj-$(CONFIG_RV_MON_STALL) += monitors/stall/stall.o
obj-$(CONFIG_RV_MON_DEADLINE) += monitors/deadline/deadline.o
obj-$(CONFIG_RV_MON_NOMISS) += monitors/nomiss/nomiss.o
# Add new monitors here
obj-$(CONFIG_RV_REACTORS) += rv_reactors.o
obj-$(CONFIG_RV_REACT_PRINTK) += reactor_printk.o
obj-$(CONFIG_RV_REACT_PANIC) += reactor_panic.o
rv: Add Runtime Verification (RV) interface 2022-07-29 11:38:40 +02:00			`# SPDX-License-Identifier: GPL-2.0`

rv: Simplify manual steps in monitor creation 2024-12-27 15:47:49 +01:00			`ccflags-y += -I $(src) # needed for trace events`

rv: Add Runtime Verification (RV) interface 2022-07-29 11:38:40 +02:00			`obj-$(CONFIG_RV) += rv.o`
rv/monitor: Add the wip monitor 2022-07-29 11:38:52 +02:00			`obj-$(CONFIG_RV_MON_WIP) += monitors/wip/wip.o`
rv/monitor: Add the wwnr monitor 2022-07-29 11:38:53 +02:00			`obj-$(CONFIG_RV_MON_WWNR) += monitors/wwnr/wwnr.o`
rv: Add option for nested monitors and include sched 2025-03-05 15:03:55 +01:00			`obj-$(CONFIG_RV_MON_SCHED) += monitors/sched/sched.o`
rv: Add sco and tss per-cpu monitors 2025-03-05 15:03:56 +01:00			`obj-$(CONFIG_RV_MON_SCO) += monitors/sco/sco.o`
rv: Add snroc per-task monitor 2025-03-05 15:03:57 +01:00			`obj-$(CONFIG_RV_MON_SNROC) += monitors/snroc/snroc.o`
rv: Add scpd, snep and sncid per-cpu monitors 2025-03-05 15:03:58 +01:00			`obj-$(CONFIG_RV_MON_SCPD) += monitors/scpd/scpd.o`
			`obj-$(CONFIG_RV_MON_SNEP) += monitors/snep/snep.o`
rv: Add rtapp container monitor 2025-07-09 21:21:18 +02:00			`obj-$(CONFIG_RV_MON_RTAPP) += monitors/rtapp/rtapp.o`
rv: Add rtapp_pagefault monitor 2025-07-09 21:21:20 +02:00			`obj-$(CONFIG_RV_MON_PAGEFAULT) += monitors/pagefault/pagefault.o`
rv: Add rtapp_sleep monitor 2025-07-09 21:21:21 +02:00			`obj-$(CONFIG_RV_MON_SLEEP) += monitors/sleep/sleep.o`
rv: Replace tss and sncid monitors with more complete sts 2025-07-28 15:50:19 +02:00			`obj-$(CONFIG_RV_MON_STS) += monitors/sts/sts.o`
rv: Add nrp and sssw per-task monitors 2025-07-28 15:50:20 +02:00			`obj-$(CONFIG_RV_MON_NRP) += monitors/nrp/nrp.o`
			`obj-$(CONFIG_RV_MON_SSSW) += monitors/sssw/sssw.o`
rv: Add opid per-cpu monitor 2025-07-28 15:50:21 +02:00			`obj-$(CONFIG_RV_MON_OPID) += monitors/opid/opid.o`
rv: Add sample hybrid monitor stall 2026-03-30 13:10:04 +02:00			`obj-$(CONFIG_RV_MON_STALL) += monitors/stall/stall.o`
rv: Add nomiss deadline monitor 2026-03-30 13:10:10 +02:00			`obj-$(CONFIG_RV_MON_DEADLINE) += monitors/deadline/deadline.o`
			`obj-$(CONFIG_RV_MON_NOMISS) += monitors/nomiss/nomiss.o`
verification/dot2k: Auto patch current kernel source 2024-12-27 15:47:51 +01:00			`# Add new monitors here`
rv/reactor: Add the printk reactor 2022-07-29 11:38:54 +02:00			`obj-$(CONFIG_RV_REACTORS) += rv_reactors.o`
			`obj-$(CONFIG_RV_REACT_PRINTK) += reactor_printk.o`
rv/reactor: Add the panic reactor 2022-07-29 11:38:55 +02:00			`obj-$(CONFIG_RV_REACT_PANIC) += reactor_panic.o`