RISC-V: Add EFI runtime services
[sfrench/cifs-2.6.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