/*
 * $Id: hello.c,v 1.3 2008/01/11 15:28:31 nbrk Exp $
 */
#include <sys/types.h>

#include <libkern/printf.h>

void
hello_enter()
{
	uint32_t a;

	printf("hello 1 task: enter\n");

a1:
	for (a = 0; a < 10000000; a++)
		;
	printf("hello from task 1\n");

	goto a1;

}