view cos/kernel/timer.c @ 125:1ee5f36b34ed

Added tag stm32f4discovery flash with python for changeset d38729d35c4d
author Windel Bouwman
date Sun, 13 Jan 2013 10:42:03 +0100
parents 8012221dd740
children
line wrap: on
line source

#include "kernel.h"

static uint64_t ticks = 0;

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

uint64_t getTimeMS()
{
  return 55*ticks;
}

void timer_init()
{
   ticks = 0;
}