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