Kconfig

 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	depends on MMU
 9	default y
10	select LTL_MON_EVENTS_ID
11	bool "pagefault monitor"
12	help
13	  Monitor that real-time tasks do not raise page faults, causing
14	  undesirable latency.
15
16	  If you are developing a real-time system and not entirely sure whether
17	  the applications are designed correctly for real-time, you want to say
18	  Y here.
19
20	  This monitor does not affect execution speed while it is not running,
21	  therefore it is safe to enable this in production kernel.