mirror of
https://github.com/torvalds/linux.git
synced 2025-10-29 15:56:19 +02:00
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:
|
||
|---|---|---|
| .. | ||
| monitors | ||
| Kconfig | ||
| Makefile | ||
| reactor_panic.c | ||
| reactor_printk.c | ||
| rv.c | ||
| rv.h | ||
| rv_reactors.c | ||
| rv_trace.h | ||