view cos/kernel/timer.c @ 25:d3c4bf3720a3

Beginning of multitasking
author windel
date Tue, 27 Dec 2011 13:31:38 +0100
parents d8627924d40d
children 47b7df514243
line wrap: on
line source

#include "kernel.h"

static uint64_t ticks = 0;

void timerDriverUpdate()
{
  ticks++;
  task_scheduler();
}

uint64_t getTimeMS()
{
  return 55*ticks;
}