start fixing parallel threads

2018-11-14 20:51:41 +01:00
parent c1f7678e5b
commit af892cc058
13 changed files with 153 additions and 208 deletions
@@ -39,10 +39,6 @@
 #include "vcd_signal_dumper.h"
 #include "assertions.h"

-#if defined(ENABLE_ITTI)
-# include "intertask_interface.h"
-#endif
-
 # include <pthread.h>
 # include <string.h>
 #include  <linux/prctl.h>