1 // SPDX-License-Identifier: GPL-2.0 2 #include "../kernel/ipl_vmparm.c" 3
Linux® is a registered trademark of Linus Torvalds in the United States and other countries. TOMOYO® is a registered trademark of NTT DATA CORPORATION.