/* 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;
}