view cos/kernel/timer.c @ 30:0148f55bfe24

Added static asserts and fixed pages
author windel
date Thu, 29 Dec 2011 23:51:35 +0100
parents 47b7df514243
children 8012221dd740
line wrap: on
line source

#include "kernel.h"

static uint64_t ticks = 0;

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

uint64_t getTimeMS()
{
  return 55*ticks;
}