xref: /linux/kernel/trace/rv/monitors/pagefault/Kconfig (revision 4ff261e725d7376c12e745fdbe8a33cd6dbd5a83)
1# SPDX-License-Identifier: GPL-2.0-only
2#
3config RV_MON_PAGEFAULT
4	depends on RV
5	select RV_LTL_MONITOR
6	depends on RV_MON_RTAPP
7	depends on X86 || RISCV
8	default y
9	select LTL_MON_EVENTS_ID
10	bool "pagefault monitor"
11	help
12	  Monitor that real-time tasks do not raise page faults, causing
13	  undesirable latency.
14
15	  If you are developing a real-time system and not entirely sure whether
16	  the applications are designed correctly for real-time, you want to say
17	  Y here.
18
19	  This monitor does not affect execution speed while it is not running,
20	  therefore it is safe to enable this in production kernel.
21