1 # SPDX-License-Identifier: GPL-2.0-only !! 1 menu "Kernel hacking" >> 2 >> 3 source "lib/Kconfig.debug" >> 4 >> 5 endmenu
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.