coreboot-kgpe-d16/payloads/libpayload/sample/arch_mock/hello.c

14 lines
203 B
C

/* SPDX-License-Identifier: GPL-2.0-only */
/* Example file for libpayload. */
#include <libpayload-config.h>
#include <libpayload.h>
int main(void)
{
printf("Hello world!\n");
halt();
return 0;
}