/* SPDX-License-Identifier: BSD-2-Clause */
// Written by SASANO Takayoshi

#include <stdio.h>
#include "uboot_glue.h"

int main(int argc, char *argv[])
{
	int i;
	unsigned char n = '\n';

	init_uboot_syscall();

	call_uboot_syscall(API_PUTS, NULL, "Hello, World!\n");

	for (i = 0; i < argc; i++) {
		call_uboot_syscall(API_PUTS, NULL, argv[i]);
		call_uboot_syscall(API_PUTC, NULL, &n);
	}

	return 0;
}