/*
 * $Id: hello2.c,v 1.1 2007/11/23 13:08:40 nbrk Exp $
 */
#include <sys/types.h>

#include <libkern/printf.h>

void
hello2_enter(void)
{
	uint32_t a;

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

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

	goto a1;


}