#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <time.h>
#include "kernel.h"

void writelog(char *text)
{
#ifndef BUILD_MODULE
  fprintf(stderr, "[%d] %s\n", clock(), text);
#endif
}
