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. 22