#include <tasklib.h>
#include <stdio.h>
#include <kernellib.h>

long int task_run[]={20000000, 450000000, 90000000};
int task_stop[]={18, 25, 30};


void task(int n)
{
  long int x;

  printf("task %i started\n", n);

  while(1)
  {
    printf("%i: running\n", n);
    x=task_run[n];
    while(x>0) x--;
    printf("%i: delayed\n", n);
    taskDelay(task_stop[n]);
  }
}

void CreateTasks(void)
{
  int id1, id2, id3;

/*  kernelTimeSlice(5); */

  id1=taskSpawn("Task1", 210, 0, 4096, (FUNCPTR) task, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0);
  id2=taskSpawn("Task2", 211, 0, 4096, (FUNCPTR) task, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0);
  id3=taskSpawn("Task3", 212, 0, 4096, (FUNCPTR) task, 2, 0, 0, 0, 0, 0, 0, 0, 0, 0);
}