1 # SPDX-License-Identifier: GPL-2.0
4 config TRACE_IRQFLAGS_SUPPORT
7 source "lib/Kconfig.debug"
10 bool "Export kernel pagetable layout to userspace via debugfs"
11 depends on DEBUG_KERNEL
14 Say Y here if you want to show the kernel pagetable layout in a
15 debugfs file. This information is only useful for kernel developers
16 who are working in architecture specific areas of the kernel.
17 It is probably not a good idea to enable this feature in a production