#include <stdio.h>
#include "dstoslayer.h"

void test_thread(void *test)
{
	int i;
	for(i=0;i<10;i++){
		printf("%d\n",i);
		sleep(1);
	} 
	printf("child thread ended\n");
}

void main()
{
	UINT32  taskid;
	printf("hello\n");

	taskid = OS_SpawnTask(test_thread, "test", TASK_PRIOR_NORMAL, 1000, NULL);
	sleep(20); 
	printf("main thread ended\n");
}