#include "Types.h"
#include "TimerModel.h"
#include "TaskScheduler.h"

void TimerModel_UpdateTime(uint32 systemTime)
{
  TaskScheduler_Update(systemTime);
}