1 // SPDX-License-Identifier: GPL-2.0 2 #include <stdio.h> 3 4 int main(void) 5 { 6 return puts("hi"); 7 } 8
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.