summaryrefslogtreecommitdiff
path: root/kernel/trace/rv/monitors/pagefault/Kconfig
blob: 5e16625f165370e0aa10f39907d533dbdf48a6f9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
# SPDX-License-Identifier: GPL-2.0-only
#
config RV_MON_PAGEFAULT
	depends on RV
	select RV_LTL_MONITOR
	depends on RV_MON_RTAPP
	depends on X86 || RISCV
	default y
	select LTL_MON_EVENTS_ID
	bool "pagefault monitor"
	help
	  Monitor that real-time tasks do not raise page faults, causing
	  undesirable latency.

	  If you are developing a real-time system and not entirely sure whether
	  the applications are designed correctly for real-time, you want to say
	  Y here.

	  This monitor does not affect execution speed while it is not running,
	  therefore it is safe to enable this in production kernel.