rv: Make rtapp/pagefault monitor depends on CONFIG_MMU

JIRA: https://issues.redhat.com/browse/RHEL-114754

commit 3d62f95
Author: Nam Cao <namcao@linutronix.de>
Date:   Thu Oct 2 08:23:17 2025 +0000

    rv: Make rtapp/pagefault monitor depends on CONFIG_MMU

    There is no page fault without MMU. Compiling the rtapp/pagefault monitor
    without CONFIG_MMU fails as page fault tracepoints' definitions are not
    available.

    Make rtapp/pagefault monitor depends on CONFIG_MMU.

    Fixes: 9162620 ("rv: Add rtapp_pagefault monitor")
    Signed-off-by: Nam Cao <namcao@linutronix.de>
    Reported-by: kernel test robot <lkp@intel.com>
    Closes: https://lore.kernel.org/oe-kbuild-all/202509260455.6Z9Vkty4-lkp@intel.com/
    Cc: stable@vger.kernel.org
    Reviewed-by: Gabriele Monaco <gmonaco@redhat.com>
    Link: https://lore.kernel.org/r/20251002082317.973839-1-namcao@linutronix.de
    Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

Signed-off-by: Gabriele Monaco <gmonaco@redhat.com>

Author: glemco

kernel/trace/rv/monitors/pagefault/Kconfig

@@ -5,6 +5,7 @@ config RV_MON_PAGEFAULT
 	select RV_LTL_MONITOR
 	depends on RV_MON_RTAPP
 	depends on X86 || RISCV
+	depends on MMU
 	default y
 	select LTL_MON_EVENTS_ID
 	bool "pagefault monitor"