#include <stdlib.h>
#include <string.h>
-#ifndef STM32F767xx
+#ifndef STM
#include <unistd.h>
#include <stdio.h>
#endif
tasks[ct].interval = read16();
//Read tasklength
tasks[ct].tlen = read16();
+ debug("task interval: %d, length: %d\n",
+ tasks[ct].interval, tasks[ct].tlen);
if(tasks[ct].tlen > MAXTASKSIZE)
die("Task is too long: %d", tasks[ct].tlen);