view cos/kernel/timer.c @ 24:d8627924d40d

Split up in more files and reboot command
author windel
date Fri, 02 Dec 2011 14:00:02 +0100
parents
children d3c4bf3720a3
line wrap: on
line source

#include "kernel.h"

static uint64_t ticks = 0;

void timerDriverUpdate()
{
  ticks++;
}

uint64_t getTimeMS()
{
  return 55*ticks;
}