coreboot-kgpe-d16/util/romcc/tests/linux_test1.c

#include "linux_syscall.h"

static void main(void)
{
	static const char msg[] = "hello world\n";
	write(STDOUT_FILENO, msg, sizeof(msg));
	_exit(0);
}