/*
 * $Id: hello.c,v 1.2 2007/11/23 13:08:07 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 < 1000000; a++)
		;
	printf("hello from task 1\n");

	goto a1;

}