Re: [PATCH 2/2] rv: Make rtapp/pagefault monitor depends on CONFIG_MMU

From: Gabriele Monaco
Date: Thu Oct 02 2025 - 07:51:22 EST


On Thu, 2025-10-02 at 08:23 +0000, Nam Cao wrote:
> 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.

Makes sense.

Reviewed-by: Gabriele Monaco <gmonaco@xxxxxxxxxx>

Thanks,
Gabriele

>
> Fixes: 9162620eb604 ("rv: Add rtapp_pagefault monitor")
> Signed-off-by: Nam Cao <namcao@xxxxxxxxxxxxx>
> Reported-by: kernel test robot <lkp@xxxxxxxxx>
> Closes:
> https://lore.kernel.org/oe-kbuild-all/202509260455.6Z9Vkty4-lkp@xxxxxxxxx/
> Cc: stable@xxxxxxxxxxxxxxx
> ---
>  kernel/trace/rv/monitors/pagefault/Kconfig | 1 +
>  1 file changed, 1 insertion(+)
>
> diff --git a/kernel/trace/rv/monitors/pagefault/Kconfig
> b/kernel/trace/rv/monitors/pagefault/Kconfig
> index 5e16625f1653..0e013f00c33b 100644
> --- a/kernel/trace/rv/monitors/pagefault/Kconfig
> +++ b/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"