1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 /* Example file for libpayload. */ 4 5 #include <libpayload-config.h> 6 #include <libpayload.h> 7 main(void)8 int main(void) 9 { 10 printf("Hello world!\n"); 11 halt(); 12 return 0; 13 } 14