Training courses
Kernel and Embedded Linux
Bootlin training courses
1 2 3 4 5 6
# SPDX-License-Identifier: GPL-2.0-only # For a description of the syntax of this configuration file, # see Documentation/kbuild/kconfig-language.rst. config [31mCONFIG_TRACE_IRQFLAGS_SUPPORT[0m def_bool y