#include <zephyr/kernel.h>
#include <stdio.h>

/* 1000 msec = 1 sec */
#define SLEEP_TIME_MS   1000

int main(void)
{
	int counter = 0;

	printf("Hello World! %s\n", CONFIG_BOARD);

	while(1) {
		printf("counter = %3d\r\n", counter++);
		k_msleep(SLEEP_TIME_MS);
	}
	return 0;
}