/*
 * $Id: hello.c,v 1.1 2007/11/20 16:09:16 nbrk Exp $
 */
#include <sys/types.h>

#include <libkern/printf.h>

void
hello_enter()
{
	printf("hello task: enter\n");

	while(1)
		;
}