powerpc/8xx: Always fault when _PAGE_ACCESSED is not set
[linux-2.6-microblaze.git] / arch / microblaze / Kconfig.debug
1 # SPDX-License-Identifier: GPL-2.0-only
2 # For a description of the syntax of this configuration file,
3 # see Documentation/kbuild/kconfig-language.rst.
4
5 config TRACE_IRQFLAGS_SUPPORT
6         def_bool y