diff --git a/MPSoC/Makefile.forsoclib b/MPSoC/Makefile.forsoclib
index 32c6f3255679ac443dc2a508039fed28aaada019..cbaca871c833bc40574cf718489b67dcf91a8174 100755
--- a/MPSoC/Makefile.forsoclib
+++ b/MPSoC/Makefile.forsoclib
@@ -1,8 +1,8 @@
-#SOCLIB_CPU=ppc
-#MUTEKH_CPU=ppc
+SOCLIB_CPU=ppc
+MUTEKH_CPU=ppc
 
-SOCLIB_CPU=mips32el
-MUTEKH_CPU=mips
+#SOCLIB_CPU=mips32el
+#MUTEKH_CPU=mips32el
 
 include generated_topcell/procinfo.mk
 
@@ -16,8 +16,8 @@ export PATH
 updateruntime:
 	cp mutekh/libmwmr/*.c mutekh/examples/avatar
 	cp mutekh/libmwmr/include/mwmr/mwmr.h mutekh/examples/avatar
-	cp src/*.c ~/TTool/MPSoC/mutekh/libavatar/
-	cp src/*.h ~/TTool/MPSoC/mutekh/libavatar/
+	cp src/*.c ~/TTool/MPSoC/mutekh/examples/avatar
+	cp src/*.h ~/TTool/MPSoC/mutekh/examples/avatar
 
 	
 updategeneratedcode:
diff --git a/MPSoC/mutekh/examples/asynchronousExemple.tgz b/MPSoC/mutekh/examples/asynchronousExemple.tgz
deleted file mode 100644
index 98cb5407a261aca4924ff55d7cd9ab42074b63b4..0000000000000000000000000000000000000000
Binary files a/MPSoC/mutekh/examples/asynchronousExemple.tgz and /dev/null differ
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-2CJCIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-2CJCIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-8AZHIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-8AZHIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-A11NIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-A11NIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-BKDBIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-BKDBIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-CDFDIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-CDFDIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-DJJJIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-DJJJIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-E0SGIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-E0SGIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ELMDIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ELMDIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-EUM8HX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-EUM8HX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-FT2FIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-FT2FIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-IHNAIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-IHNAIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-JE88HX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-JE88HX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-KTDIIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-KTDIIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-LM7JIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-LM7JIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-LW2RIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-LW2RIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-NZNGIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-NZNGIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-NZXFIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-NZXFIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-PL1AIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-PL1AIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-UKZ7HX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-UKZ7HX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-XJZ8HX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-XJZ8HX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-XYRHIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-XYRHIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ZCJLIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ZCJLIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ZE5GIX b/MPSoC/mutekh/examples/lastavatar-9-9/.goutputstream-ZE5GIX
deleted file mode 100644
index e69de29bb2d1d6434b8b29ae775ad8c2e48c5391..0000000000000000000000000000000000000000
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Bell.c b/MPSoC/mutekh/examples/lastavatar-9-9/Bell.c
deleted file mode 100644
index 1a346d5ea9fd81e2946b43e39ab9309694e1c490..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Bell.c
+++ /dev/null
@@ -1,51 +0,0 @@
-#include "Bell.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__Active 1
-#define STATE__STOP__STATE 2
-
-void *mainFunc__Bell(void *arg){
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[0];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__Active;
-      break;
-      
-      case STATE__Active: 
-      traceStateEntering(__myname, "Active");
-      makeNewRequest(&__req0, 45, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Controller_ringBell__Bell_ring;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__Active;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Bell.h b/MPSoC/mutekh/examples/lastavatar-9-9/Bell.h
deleted file mode 100644
index 877ea1dd3ad359d473a5412f93e83bf03f652f1e..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Bell.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef Bell_H
-#define Bell_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__Bell(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.c b/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.c
deleted file mode 100644
index e8919e5471bd902d9bbc1ebb8507a38917521112..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.c
+++ /dev/null
@@ -1,53 +0,0 @@
-#include "ControlPanel.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__Active 1
-#define STATE__STOP__STATE 2
-
-void *mainFunc__ControlPanel(void *arg){
-  int duration = 5;
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[1];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__Active;
-      break;
-      
-      case STATE__Active: 
-      traceStateEntering(__myname, "Active");
-      __params0[0] = &duration;
-      makeNewRequest(&__req0, 52, SEND_ASYNC_REQUEST, 0, 0, 0, 1, __params0);
-      __req0.asyncChannel = &__ControlPanel_startButton__Controller_start;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__Active;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.h b/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.h
deleted file mode 100644
index 8a6c7d11a340cd4b163b77481ca62fba8d8c1ddd..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/ControlPanel.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef ControlPanel_H
-#define ControlPanel_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__ControlPanel(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Controller.c b/MPSoC/mutekh/examples/lastavatar-9-9/Controller.c
deleted file mode 100644
index 456c042722951a15c2791eea5ee7a49ba2224de1..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Controller.c
+++ /dev/null
@@ -1,183 +0,0 @@
-#include "Controller.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__Starting 1
-#define STATE__Heating 2
-#define STATE__Idle 3
-#define STATE__DoorOpened 4
-#define STATE__DoorOpenedWhileHeating 5
-#define STATE__STOP__STATE 6
-
-void *mainFunc__Controller(void *arg){
-  int duration = 5;
-  int remainingTime = 0;
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[1];
-  __attribute__((unused)) request __req1;
-  __attribute__((unused))int *__params1[1];
-  __attribute__((unused)) request __req2;
-  __attribute__((unused))int *__params2[1];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__Idle;
-      break;
-      
-      case STATE__Starting: 
-      traceStateEntering(__myname, "Starting");
-      makeNewRequest(&__req0, 72, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Controller_startMagnetron__Magnetron_startM;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      remainingTime=duration;
-      traceVariableModification("Controller", "remainingTime", remainingTime,0);
-      __currentState = STATE__Heating;
-      break;
-      
-      case STATE__Heating: 
-      traceStateEntering(__myname, "Heating");
-      if (( remainingTime>0 )) {
-        makeNewRequest(&__req0, 87, IMMEDIATE, 1, (1)*1000, (1)*1000, 0, __params0);
-        addRequestToList(&__list, &__req0);
-      }
-      makeNewRequest(&__req1, 62, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params1);
-      __req1.asyncChannel = &__Door_open__Controller_open;
-      addRequestToList(&__list, &__req1);
-      if (( remainingTime==0 )) {
-        makeNewRequest(&__req2, 70, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params2);
-        __req2.asyncChannel = &__Controller_stopMagnetron__Magnetron_stopM;
-        addRequestToList(&__list, &__req2);
-      }
-      if (nbOfRequests(&__list) == 0) {
-        debug2Msg(__myname, "No possible request");
-        __currentState = STATE__STOP__STATE;
-        break;
-      }
-      __returnRequest = executeListOfRequests(&__list);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-       if (__returnRequest == &__req0) {
-        remainingTime= remainingTime -1;
-        traceVariableModification("Controller", "remainingTime", remainingTime,0);
-        __currentState = STATE__Heating;
-        
-      }
-      else  if (__returnRequest == &__req1) {
-        makeNewRequest(&__req0, 69, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-        __req0.asyncChannel = &__Controller_stopMagnetron__Magnetron_stopM;
-        __returnRequest = executeOneRequest(&__list, &__req0);
-        clearListOfRequests(&__list);
-        traceRequest(__myname, __returnRequest);
-        makeNewRequest(&__req0, 58, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-        __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-        __returnRequest = executeOneRequest(&__list, &__req0);
-        clearListOfRequests(&__list);
-        traceRequest(__myname, __returnRequest);
-        __currentState = STATE__DoorOpenedWhileHeating;
-        
-      }
-      else  if (__returnRequest == &__req2) {
-        makeNewRequest(&__req0, 64, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-        __req0.asyncChannel = &__Controller_ringBell__Bell_ring;
-        __returnRequest = executeOneRequest(&__list, &__req0);
-        clearListOfRequests(&__list);
-        traceRequest(__myname, __returnRequest);
-        __currentState = STATE__Idle;
-        
-      }
-      break;
-      
-      case STATE__Idle: 
-      traceStateEntering(__myname, "Idle");
-      makeNewRequest(&__req0, 65, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_open__Controller_open;
-      addRequestToList(&__list, &__req0);
-      __params1[0] = &duration;
-      makeNewRequest(&__req1, 67, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 1, __params1);
-      __req1.asyncChannel = &__ControlPanel_startButton__Controller_start;
-      addRequestToList(&__list, &__req1);
-      if (nbOfRequests(&__list) == 0) {
-        debug2Msg(__myname, "No possible request");
-        __currentState = STATE__STOP__STATE;
-        break;
-      }
-      __returnRequest = executeListOfRequests(&__list);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-       if (__returnRequest == &__req0) {
-        makeNewRequest(&__req0, 60, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-        __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-        __returnRequest = executeOneRequest(&__list, &__req0);
-        clearListOfRequests(&__list);
-        traceRequest(__myname, __returnRequest);
-        __currentState = STATE__DoorOpened;
-        
-      }
-      else  if (__returnRequest == &__req1) {
-        __currentState = STATE__Starting;
-        
-      }
-      break;
-      
-      case STATE__DoorOpened: 
-      traceStateEntering(__myname, "DoorOpened");
-      makeNewRequest(&__req0, 74, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_closed__Controller_closed;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      makeNewRequest(&__req0, 59, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__Idle;
-      break;
-      
-      case STATE__DoorOpenedWhileHeating: 
-      traceStateEntering(__myname, "DoorOpenedWhileHeating");
-      makeNewRequest(&__req0, 73, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_closed__Controller_closed;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      makeNewRequest(&__req0, 57, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      makeNewRequest(&__req0, 71, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Controller_startMagnetron__Magnetron_startM;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__Heating;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Controller.h b/MPSoC/mutekh/examples/lastavatar-9-9/Controller.h
deleted file mode 100644
index b72a01a06d6eef2381638ad935df8e0ebe64850e..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Controller.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef Controller_H
-#define Controller_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__Controller(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Door.c b/MPSoC/mutekh/examples/lastavatar-9-9/Door.c
deleted file mode 100644
index b431c88cf09b8777adc2d7e3f7e10c9b04d3a069..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Door.c
+++ /dev/null
@@ -1,74 +0,0 @@
-#include "Door.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__DoorIsOpened 1
-#define STATE__IDLE 2
-#define STATE__STOP__STATE 3
-
-void *mainFunc__Door(void *arg){
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[0];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__IDLE;
-      break;
-      
-      case STATE__DoorIsOpened: 
-      traceStateEntering(__myname, "DoorIsOpened");
-      waitFor((2)*1000, (4)*1000);
-      makeNewRequest(&__req0, 113, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_closed__Controller_closed;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      makeNewRequest(&__req0, 110, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      waitFor((2)*1000, (4)*1000);
-      __currentState = STATE__IDLE;
-      break;
-      
-      case STATE__IDLE: 
-      traceStateEntering(__myname, "IDLE");
-      makeNewRequest(&__req0, 114, SEND_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_open__Controller_open;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      makeNewRequest(&__req0, 111, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Door_okDoor__Controller_okDoor;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__DoorIsOpened;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Door.h b/MPSoC/mutekh/examples/lastavatar-9-9/Door.h
deleted file mode 100644
index 6e6f94e8b86258d24718c3d86300f16c25c64c8e..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Door.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef Door_H
-#define Door_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__Door(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.c b/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.c
deleted file mode 100644
index bcb67d3869b60e0950655583e1e3cf9cffdd7bea..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.c
+++ /dev/null
@@ -1,63 +0,0 @@
-#include "Magnetron.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__Running 1
-#define STATE__WaitForStart 2
-#define STATE__STOP__STATE 3
-
-void *mainFunc__Magnetron(void *arg){
-  int power = 0;
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[0];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__WaitForStart;
-      break;
-      
-      case STATE__Running: 
-      traceStateEntering(__myname, "Running");
-      makeNewRequest(&__req0, 100, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Controller_stopMagnetron__Magnetron_stopM;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__WaitForStart;
-      break;
-      
-      case STATE__WaitForStart: 
-      traceStateEntering(__myname, "WaitForStart");
-      makeNewRequest(&__req0, 102, RECEIVE_ASYNC_REQUEST, 0, 0, 0, 0, __params0);
-      __req0.asyncChannel = &__Controller_startMagnetron__Magnetron_startM;
-      __returnRequest = executeOneRequest(&__list, &__req0);
-      clearListOfRequests(&__list);
-      traceRequest(__myname, __returnRequest);
-      __currentState = STATE__Running;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.h b/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.h
deleted file mode 100644
index db92c847ac745985ee42d7510236e05c929eb91d..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Magnetron.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef Magnetron_H
-#define Magnetron_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__Magnetron(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/Makefile b/MPSoC/mutekh/examples/lastavatar-9-9/Makefile
deleted file mode 100644
index 2931f1e6d2388c0f149ea65a653316449ac44e7e..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/Makefile
+++ /dev/null
@@ -1 +0,0 @@
-objs = main.o MicroWaveOven.o Bell.o ControlPanel.o Controller.o Magnetron.o Door.o 
\ No newline at end of file
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.c b/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.c
deleted file mode 100644
index e0fa2a64c3090c2e858e1bd3a07c9d323de9202f..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.c
+++ /dev/null
@@ -1,46 +0,0 @@
-#include "MicroWaveOven.h"
-
-
-// Header code defined in the model
-
-// End of header code defined in the model
-
-#define STATE__START__STATE 0
-#define STATE__Running 1
-#define STATE__STOP__STATE 2
-
-void *mainFunc__MicroWaveOven(void *arg){
-  
-  int __currentState = STATE__START__STATE;
-  __attribute__((unused)) request __req0;
-  __attribute__((unused))int *__params0[0];
-  __attribute__((unused))setOfRequests __list;
-  __attribute__((unused))pthread_cond_t __myCond;
-  __attribute__((unused))request *__returnRequest;
-  
-  char * __myname = (char *)arg;
-  
-  pthread_cond_init(&__myCond, NULL);
-  
-  fillListOfRequests(&__list, __myname, &__myCond, &__mainMutex);
-  //printf("my name = %s\n", __myname);
-  
-  /* Main loop on states */
-  while(__currentState != STATE__STOP__STATE) {
-    switch(__currentState) {
-      case STATE__START__STATE: 
-      traceStateEntering(__myname, "__StartState");
-      __currentState = STATE__Running;
-      break;
-      
-      case STATE__Running: 
-      traceStateEntering(__myname, "Running");
-      __currentState = STATE__STOP__STATE;
-      break;
-      
-    }
-  }
-  //printf("Exiting = %s\n", __myname);
-  return NULL;
-}
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.h b/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.h
deleted file mode 100644
index 44b1ae12dd5a9833d50fa9221f0bec9e0c5e60fe..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/MicroWaveOven.h
+++ /dev/null
@@ -1,20 +0,0 @@
-#ifndef MicroWaveOven_H
-#define MicroWaveOven_H
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "defs.h"
-#include "mytimelib.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "main.h"
-
-extern void *mainFunc__MicroWaveOven(void *arg);
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/config b/MPSoC/mutekh/examples/lastavatar-9-9/config
deleted file mode 100644
index ab93ac874f6bff206753d0c2b1e5b7d2f13c5266..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/config
+++ /dev/null
@@ -1,40 +0,0 @@
-
-
-  %set OUTPUT_NAME avatar
-
-  # New source code module to be compiled
-  %append MODULES $(OUTPUT_NAME):$(CONFIGPATH)
-
-  # Application license
-  CONFIG_LICENSE_APP_LGPL
-
-  # Libs
-  CONFIG_PTHREAD
-  CONFIG_PTHREAD_MAIN
-  CONFIG_PTHREAD_TIME
-
-#ajoute DG
-CONFIG_PTHREAD_ATTRIBUTES
-#ajoute DG
-
-  CONFIG_PTHREAD_STACK_SIZE 32768
-  CONFIG_LIBC_STREAM_STD
-#  CONFIG_MUTEK_TIMER undefined
-  CONFIG_LIBAVATAR
-  CONFIG_HEXO_INTTYPES_DEPRECATED undefined
-  CONFIG_LIBM
-  CONFIG_LIBC_STREAM
-  CONFIG_VFS
-#ajoute DG
- CONFIG_MWMR
- CONFIG_MWMR_SOCLIB
-#fin ajoute DG
-  CONFIG_MUTEK_SCHEDULER_STATIC
-
-%include $(SRC_DIR)/examples/common/build_options.conf
-%include $(SRC_DIR)/examples/common/platforms.conf
-
-  # inter-processor interrupts
-  CONFIG_HEXO_IPI
-#  CONFIG_ARCH_SMP undefined
-  CONFIG_CPU_MAXCOUNT 5
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/main.c b/MPSoC/mutekh/examples/lastavatar-9-9/main.c
deleted file mode 100644
index b463054cebd2c893f6071b4a9f5ead882e2db933..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/main.c
+++ /dev/null
@@ -1,128 +0,0 @@
-#include <stdio.h>
-#include <pthread.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "random.h"
-#include "tracemanager.h"
-
-/* User code */
-void __user_init() {
-}
-
-/* End of User code */
-
-/* Main mutex */
-pthread_mutex_t __mainMutex;
-
-/* Synchronous channels */
-/* Asynchronous channels */
-asyncchannel __Controller_ringBell__Bell_ring;
-asyncchannel __Door_okDoor__Controller_okDoor;
-asyncchannel __Door_open__Controller_open;
-asyncchannel __Door_closed__Controller_closed;
-asyncchannel __Controller_startMagnetron__Magnetron_startM;
-asyncchannel __Controller_stopMagnetron__Magnetron_stopM;
-asyncchannel __ControlPanel_LEDOn__Controller_startCooking;
-asyncchannel __ControlPanel_LEDoff__Controller_stopCooking;
-asyncchannel __ControlPanel_startButton__Controller_start;
-
-#include "MicroWaveOven.h"
-#include "Bell.h"
-#include "ControlPanel.h"
-#include "Controller.h"
-#include "Magnetron.h"
-#include "Door.h"
-
-
-int main(int argc, char *argv[]) {
-  
-  /* disable buffering on stdout */
-  setvbuf(stdout, NULL, _IONBF, 0);
-  
-  /* Synchronous channels */
-  /* Asynchronous channels */
-  __Controller_ringBell__Bell_ring.inname ="ring";
-  __Controller_ringBell__Bell_ring.outname ="ringBell";
-  __Controller_ringBell__Bell_ring.isBlocking = 0;
-  __Controller_ringBell__Bell_ring.maxNbOfMessages = 4;
-  __Door_okDoor__Controller_okDoor.inname ="okDoor";
-  __Door_okDoor__Controller_okDoor.outname ="okDoor";
-  __Door_okDoor__Controller_okDoor.isBlocking = 0;
-  __Door_okDoor__Controller_okDoor.maxNbOfMessages = 4;
-  __Door_open__Controller_open.inname ="open";
-  __Door_open__Controller_open.outname ="open";
-  __Door_open__Controller_open.isBlocking = 0;
-  __Door_open__Controller_open.maxNbOfMessages = 4;
-  __Door_closed__Controller_closed.inname ="closed";
-  __Door_closed__Controller_closed.outname ="closed";
-  __Door_closed__Controller_closed.isBlocking = 0;
-  __Door_closed__Controller_closed.maxNbOfMessages = 4;
-  __Controller_startMagnetron__Magnetron_startM.inname ="startM";
-  __Controller_startMagnetron__Magnetron_startM.outname ="startMagnetron";
-  __Controller_startMagnetron__Magnetron_startM.isBlocking = 0;
-  __Controller_startMagnetron__Magnetron_startM.maxNbOfMessages = 4;
-  __Controller_stopMagnetron__Magnetron_stopM.inname ="stopM";
-  __Controller_stopMagnetron__Magnetron_stopM.outname ="stopMagnetron";
-  __Controller_stopMagnetron__Magnetron_stopM.isBlocking = 0;
-  __Controller_stopMagnetron__Magnetron_stopM.maxNbOfMessages = 4;
-  __ControlPanel_LEDOn__Controller_startCooking.inname ="LEDOn";
-  __ControlPanel_LEDOn__Controller_startCooking.outname ="startCooking";
-  __ControlPanel_LEDOn__Controller_startCooking.isBlocking = 1;
-  __ControlPanel_LEDOn__Controller_startCooking.maxNbOfMessages = 1;
-  __ControlPanel_LEDoff__Controller_stopCooking.inname ="LEDoff";
-  __ControlPanel_LEDoff__Controller_stopCooking.outname ="stopCooking";
-  __ControlPanel_LEDoff__Controller_stopCooking.isBlocking = 1;
-  __ControlPanel_LEDoff__Controller_stopCooking.maxNbOfMessages = 1;
-  __ControlPanel_startButton__Controller_start.inname ="start";
-  __ControlPanel_startButton__Controller_start.outname ="startButton";
-  __ControlPanel_startButton__Controller_start.isBlocking = 1;
-  __ControlPanel_startButton__Controller_start.maxNbOfMessages = 1;
-  
-  /* Threads of tasks */
-  pthread_t thread__MicroWaveOven;
-  pthread_t thread__Bell;
-  pthread_t thread__ControlPanel;
-  pthread_t thread__Controller;
-  pthread_t thread__Magnetron;
-  pthread_t thread__Door;
-  /* Activating tracing  */
-  if (argc>1){
-    activeTracingInFile(argv[1]);
-  } else {
-    activeTracingInConsole();
-  }
-  /* Activating randomness */
-  initRandom();
-  /* Initializing the main mutex */
-if (pthread_mutex_init(&__mainMutex, NULL) < 0) { exit(-1);}
-  
-  /* Initializing mutex of messages */
-  initMessages();
-  /* User initialization */
-  __user_init();
-  
-  
-  pthread_create(&thread__MicroWaveOven, NULL, mainFunc__MicroWaveOven, (void *)"MicroWaveOven");
-  pthread_create(&thread__Bell, NULL, mainFunc__Bell, (void *)"Bell");
-  pthread_create(&thread__ControlPanel, NULL, mainFunc__ControlPanel, (void *)"ControlPanel");
-  pthread_create(&thread__Controller, NULL, mainFunc__Controller, (void *)"Controller");
-  pthread_create(&thread__Magnetron, NULL, mainFunc__Magnetron, (void *)"Magnetron");
-  pthread_create(&thread__Door, NULL, mainFunc__Door, (void *)"Door");
-  
-  
-  pthread_join(thread__MicroWaveOven, NULL);
-  pthread_join(thread__Bell, NULL);
-  pthread_join(thread__ControlPanel, NULL);
-  pthread_join(thread__Controller, NULL);
-  pthread_join(thread__Magnetron, NULL);
-  pthread_join(thread__Door, NULL);
-  
-  
-  return 0;
-  
-}
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/main.c-9-7 b/MPSoC/mutekh/examples/lastavatar-9-9/main.c-9-7
deleted file mode 100644
index 65829a258f4d61d5d10f283f06daf309ec094a3a..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/main.c-9-7
+++ /dev/null
@@ -1,269 +0,0 @@
-#include <stdio.h>
-#include <unistd.h>
-#include <stdlib.h>
-
-//ajoute DG
-//#include <mutek/printk.h>
-//#include <pthread.h>
-//fin ajoute DG
-
-//#include "pthread.h"
-//#include "mwmr.h"
-#include "request.h"
-#include "syncchannel.h"
-#include "request_manager.h"
-#include "debug.h"
-#include "random.h"
-#include "tracemanager.h"
-#include "srl.h"
-//ajoute DG
-//#include "srl_private_types.h"
-//fin ajoute DG
-#include "Door.h"
-#include "Door.h"
-#include "Bell.h"
-#include "Magnetron.h"
-#include "Controller.h"
-#include "Controller.h"
-#include "MicroWaveOven.h"
-#include "ControlPanel.h"
-
-//#include <cpu.h>
-//#include "segmentation.h"
-
-#define NB_PROC 2
-#define WIDTH 4
-#define DEPTH 16 
-
-pthread_barrier_t barrier;
-pthread_attr_t *attr_t;
-pthread_mutex_t __mainMutex;
-
-//ajoute DG
-//typedef struct srl_mwmr_status_s srl_mwmr_status_s;
-//typedef struct srl_mwmr_lock_s srl_mwmr_lock_t;
-//fin ajoute DG
-
-void __user_init() {
-}
-
-#define MWMRd 0x20000000
-#define LOCKS 0x30000000
-#define base(arg) arg
-
-typedef struct mwmr_s mwmr_t;
-
-/*************************Door*****************************/
-
-  //  uint32_t *Door_open__fifo_data_in   = (uint32_t*)(base(MWMRd)+0x1000); //0x20200200;
-    //uint32_t *Door_closed__fifo_data_in   = (uint32_t*)(base(MWMRd)+0x2000); //0x20200400;
-    //uint32_t *Door_okDoor__fifo_data_out    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;
-
-    mwmr_t *Door_open__Controller_open   = (mwmr_t*)(base(MWMRd)+0x3000);
-    mwmr_t  *Door_closed__Controller_closed   = (mwmr_t*)(base(MWMRd)+0x4000);
-    mwmr_t *Door_okDoor__Controller_okDoor    = (mwmr_t*)(base(MWMRd)+0x2000);
-/***************************Bell*****************************/
-
-    uint32_t *ringBell__fifo_data_in    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;   
-      mwmr_t *Controller_ringBell__Bell_ring   = (mwmr_t*)(base(MWMRd)+0x2000);
-
-/**********************Magnetron*****************************/
-
-      uint32_t *startMagnetron__fifo_data_in    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;
-    uint32_t *stopMagnetron__fifo_data_in   = (uint32_t*)(base(MWMRd)+0x1000); //0x20200200;
-
-    mwmr_t *Controller_startMagnetron__Magnetron_startM  = (mwmr_t*)(base(MWMRd)+0x2000);
-    mwmr_t *Controller_stopMagnetron__Magnetron_stopM   = (mwmr_t*)(base(MWMRd)+0x3000);
-
-
- /*******************ControlPanel*****************************/
-
-
-      uint32_t *startButton__fifo_data_out    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;
-    uint32_t *LEDon__Controller_startCooking__fifo_data_out    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;
-    uint32_t *LEDoff__Controller_stopCooking__fifo_data_out    = (uint32_t*)(base(MWMRd)+0x0000); //0x20200000;
-  
-    mwmr_t *ControlPanel_startButton__Controller_start   = (mwmr_t*)(base(MWMRd)+0x2000);
-    mwmr_t *ControlPanel_LEDon__Controller_startCooking  = (mwmr_t*)(base(MWMRd)+0x2000);
-    mwmr_t *ControlPanel_LEDoff__Controller_stopCooking  = (mwmr_t*)(base(MWMRd)+0x2000);
-   
-
-/*****************************Main****************************/
-
-int main(int argc, char *argv[]) {
-
-	void *ptr;
-    pthread_barrier_init(&barrier,NULL, NB_PROC);
-    pthread_attr_t *attr_t = malloc(sizeof(pthread_attr_t));
-    pthread_attr_init(attr_t);
-    pthread_mutex_init(&__mainMutex, NULL);
-
-    /* Threads of tasks */ 
-	
-    pthread_t thread__MicroWaveOven;
-    pthread_t thread__Bell;
-    pthread_t thread__ControlPanel;
-    pthread_t thread__Controller;
-    pthread_t thread__Magnetron;
-    pthread_t thread__Door;
-
-	/* ici on initialise tous les canaux de l'application */
-
-////////////Door
-
-    //  static struct srl_mwmr_status_s okDoor_status = MWMR_STATUS_INITIALIZER(  32,    2);
-    //   static struct srl_mwmr_status_s open_status = MWMR_STATUS_INITIALIZER(  32,    2);
-    //   static struct srl_mwmr_status_s closed_status = MWMR_STATUS_INITIALIZER(  32,    2);
-   
-//RG: ajouter le & a fin de respecter le prototype de la fonction
-//   struct srl_mwmr_s  Door_okDoor__fifo_data_out    = MWMR_INITIALIZER( 32,2,Door_okDoor__Controller_okDoor, &okDoor_status, "Door_okDoor__fifo_data_out", MWMR_LOCK_INITIALIZER);
-//   struct srl_mwmr_s  Door_open__fifo_data_in = MWMR_INITIALIZER(32,2,Door_open__Controller_open, &open_status, "Door_open__fifo_data_out", MWMR_LOCK_INITIALIZER);
-//   struct srl_mwmr_s  Door_closed__fifo_data_in   = MWMR_INITIALIZER(32,2,Door_closed__Controller_closed, &closed_status, "Door_closed__fifo_data_out", MWMR_LOCK_INITIALIZER); 
-    
-
-    struct srl_mwmr_s  *Door_okDoor__fifo_data_out = malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( Door_okDoor__fifo_data_out);
-    
-    struct srl_mwmr_s  *Door_open__fifo_data_in=malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( Door_open__fifo_data_in);
-    
-    struct srl_mwmr_s  *Door_closed__fifo_data_in=malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( Door_closed__fifo_data_in);
-
-
-//////////Bell
-
-    //  static struct srl_mwmr_status_s ringBell_status = MWMR_STATUS_INITIALIZER(  32,    2);
-    //   struct srl_mwmr_s  ringBell__fifo_data_in    = MWMR_INITIALIZER( 32,2,Controller_ringBell__Bell_ring, &ringBell_status, "ringBell__fifo_data_in", MWMR_LOCK_INITIALIZER);
-
-    struct srl_mwmr_s  *ringBell__fifo_data_in =malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( ringBell__fifo_data_in);
-
-//////////Magnetron
-
-//	static struct srl_mwmr_status_s startMagnetron_status = MWMR_STATUS_INITIALIZER(  32,    2);
-//	static struct srl_mwmr_status_s stopMagnetron_status = MWMR_STATUS_INITIALIZER(  32,    2);
-  
-//	struct srl_mwmr_s  startMagnetron__fifo_data_in  = MWMR_INITIALIZER( 32,2,Controller_startMagnetron__Magnetron_startM, &startMagnetron_status, "startMagnetron__fifo_data_in", MWMR_LOCK_INITIALIZER);
-//	struct srl_mwmr_s  stopMagnetron__fifo_data_in = MWMR_INITIALIZER( 32,2,Controller_stopMagnetron__Magnetron_stopM, &stopMagnetron_status, "stopMagnetron__fifo_data_in", MWMR_LOCK_INITIALIZER);
-  
-    struct srl_mwmr_s  *startMagnetron__fifo_data_in =malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( startMagnetron__fifo_data_in);
-    
-    struct srl_mwmr_s  *stopMagnetron__fifo_data_in =malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( stopMagnetron__fifo_data_in);
-    
-/////////ControlPanel
-
-    //  static struct srl_mwmr_status_s startButton_status = MWMR_STATUS_INITIALIZER(  32,    2);
-    //  static struct srl_mwmr_status_s LEDon_status = MWMR_STATUS_INITIALIZER(  32,    2);
-    //  static struct srl_mwmr_status_s LEDoff_status = MWMR_STATUS_INITIALIZER(  32,    2);
-  
-    //  struct srl_mwmr_s  startButton__fifo_data_out    = MWMR_INITIALIZER( 32,2,ControlPanel_startButton__Controller_start, &startButton_status, "startButton__fifo_data_out", MWMR_LOCK_INITIALIZER);
-    //  struct srl_mwmr_s  LEDon__Controller_startCooking__fifo_data_out = MWMR_INITIALIZER(32,2,ControlPanel_LEDon__Controller_startCooking, &LEDon_status, "LEDOn__Controller_startCooking__fifo_data_out", MWMR_LOCK_INITIALIZER);
-    //  struct srl_mwmr_s  LEDoff__Controller_stopCooking__fifo_data_out = MWMR_INITIALIZER(32,2,ControlPanel_LEDoff__Controller_stopCooking, &LEDoff_status, "LEDoff__Controller_stopCooking__fifo_data_out", MWMR_LOCK_INITIALIZER);
-
-    struct srl_mwmr_s  *startButton__fifo_data_out=malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( startButton__fifo_data_out);
-    
-    struct srl_mwmr_s  *LEDon__Controller_startCooking__fifo_data_out=malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( LEDon__Controller_startCooking__fifo_data_out);
-    
-    struct srl_mwmr_s  *LEDoff__Controller_stopCooking__fifo_data_out=malloc(sizeof( srl_mwmr_t)); 
-    //asyncchannel_init( LEDoff__Controller_stopCooking__fifo_data_out);
-
-    //initRandom();
-
-  /* Initializing the main mutex */
-
-  if (pthread_mutex_init(&__mainMutex, NULL) < 0) { exit(-1);}
-
-
-/* pour ce thread, qui ne lit ni ecrit les canaux, il est OK de transmettre uniquement son nom */
-  ptr =malloc(sizeof(pthread_t));
-  thread__MicroWaveOven = (pthread_t)ptr;
-  
-  attr_t = malloc(sizeof(pthread_attr_t));
-  attr_t->cpucount = 0;   
-
-  pthread_create(&thread__MicroWaveOven, attr_t, mainFunc__MicroWaveOven, (void *)"MicroWaveOven");
-
-  /* le thread Bell utilise un seul canal*/
-  ptr =malloc(sizeof(pthread_t));
-  thread__Bell = (pthread_t)ptr;
-  attr_t = malloc(sizeof(pthread_attr_t));
-  attr_t->cpucount = 1;   
- 
-  pthread_create(&thread__Bell, attr_t, mainFunc__Bell, (void *)Controller_ringBell__Bell_ring);
-
- /* le thread ControlPanel utilise trois canaux*/
-  struct mwmr_s  *canaux_panel[3];
-  canaux_panel[0]=ControlPanel_LEDon__Controller_startCooking;
-  canaux_panel[1]=ControlPanel_LEDoff__Controller_stopCooking;
-  canaux_panel[2]=ControlPanel_startButton__Controller_start;
-  
-  ptr =malloc(sizeof(pthread_t));
-  thread__ControlPanel = (pthread_t)ptr;
-
-  attr_t = malloc(sizeof(pthread_attr_t));
-  attr_t->cpucount = 2;   
-  pthread_create(&thread__ControlPanel, attr_t, (void *)mainFunc__ControlPanel, (void *)canaux_panel);
-
-
-/* le thread Controller utilise 9 canaux*/
-
-  struct mwmr_s  *canaux_controller[9];
-  canaux_controller[0]=Controller_ringBell__Bell_ring;
-  canaux_controller[1]=Door_okDoor__Controller_okDoor;
-  canaux_controller[2]=Door_open__Controller_open;
-  canaux_controller[3]=Door_closed__Controller_closed;
-  canaux_controller[4]=Controller_startMagnetron__Magnetron_startM;
-  canaux_controller[5]=Controller_stopMagnetron__Magnetron_stopM;
-  //canaux_controller[6]=ControlPanel_LEDOn__Controller_startCooking;
-  //canaux_controller[7]=ControlPanel_LEDoff__Controller_stopCooking;
-  canaux_controller[8]=ControlPanel_startButton__Controller_start;
-
-  ptr =malloc(sizeof(pthread_t));
-  thread__Controller = (pthread_t)ptr;
-  
-  attr_t->cpucount = 3;  
-  pthread_create(&thread__Controller, attr_t,(void *)mainFunc__Controller, (void *)canaux_controller);
-
-/* le thread Magnetron utilise 2 canaux*/
-
-  struct mwmr_s  *canaux_magnetron[2];
-  canaux_magnetron[0]=Controller_startMagnetron__Magnetron_startM ;
-  canaux_magnetron[1]=Controller_stopMagnetron__Magnetron_stopM;
-	
-  ptr =malloc(sizeof(pthread_t));
-  thread__Magnetron = (pthread_t)ptr;
-
-  attr_t->cpucount = 4;  
-  pthread_create(&thread__Magnetron, attr_t, (void *)mainFunc__Magnetron, (void *)canaux_magnetron);
-
-
-/* le thread Door utilise 3 canaux*/
-
- struct mwmr_s  *canaux_door[3];
-  canaux_door[0]=Door_open__Controller_open;
-  canaux_door[1]=Door_closed__Controller_closed;
-  canaux_door[2]=Door_okDoor__Controller_okDoor;
-  
-  ptr =malloc(sizeof(pthread_t));
-  thread__Door = (pthread_t)ptr;
-
-  attr_t = malloc(sizeof(pthread_attr_t));
-
-  attr_t->cpucount = 5;  
-  pthread_create(&thread__Door, attr_t, (void *)mainFunc__Door, (void *)canaux_door);
- 
-  pthread_join(thread__MicroWaveOven, NULL);
-  pthread_join(thread__Bell, NULL);
-  pthread_join(thread__ControlPanel, NULL);
-  pthread_join(thread__Controller, NULL);
-  pthread_join(thread__Magnetron, NULL);
-  pthread_join(thread__Door, NULL);
-
-
-  return 0;
-}
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/main.h b/MPSoC/mutekh/examples/lastavatar-9-9/main.h
deleted file mode 100644
index e633e1ca263d46b4e40ca5ace6b368f4f5d149f8..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/main.h
+++ /dev/null
@@ -1,17 +0,0 @@
-#ifndef MAIN_H
-#define MAIN_H
-/* Main mutex */
-extern pthread_mutex_t __mainMutex;
-
-/* Synchronous channels */
-/* Asynchronous channels */
-extern asyncchannel __Controller_ringBell__Bell_ring;
-extern asyncchannel __Door_okDoor__Controller_okDoor;
-extern asyncchannel __Door_open__Controller_open;
-extern asyncchannel __Door_closed__Controller_closed;
-extern asyncchannel __Controller_startMagnetron__Magnetron_startM;
-extern asyncchannel __Controller_stopMagnetron__Magnetron_stopM;
-extern asyncchannel __ControlPanel_LEDOn__Controller_startCooking;
-extern asyncchannel __ControlPanel_LEDoff__Controller_stopCooking;
-extern asyncchannel __ControlPanel_startButton__Controller_start;
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/mwmr_config.h b/MPSoC/mutekh/examples/lastavatar-9-9/mwmr_config.h
deleted file mode 100644
index 1999557dd3bc3bfcacf57fecc23a4c8206c53593..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/mwmr_config.h
+++ /dev/null
@@ -1,788 +0,0 @@
-/*
- * This file has been generated by the configuration script.
- */
-
-#define CONFIG_MUTEK_MEMALLOC_ALGO_FIRSTFIT
-#define  _CONFIG_MUTEK_MEMALLOC_ALGO_FIRSTFIT 1
-#define CONFIG_MUTEK
-#define  _CONFIG_MUTEK 1
-#undef  CONFIG_VFS_STATS
-#define  _CONFIG_VFS_STATS 0
-#undef  CONFIG_NETWORK_SOCKET_PACKET
-#define  _CONFIG_NETWORK_SOCKET_PACKET 0
-#undef  CONFIG_DRIVER_FS_FAT_RW
-#define  _CONFIG_DRIVER_FS_FAT_RW 0
-#define CONFIG_DRIVER_BLOCK_EMU_BLOCKSIZE 512
-#define CONFIG_OPENMP_OMP_WAIT_POLICY NULL
-#undef  CONFIG_SRL_SOCLIB
-#define  _CONFIG_SRL_SOCLIB 0
-#undef  CONFIG_DRIVER_BLOCK_EMU
-#define  _CONFIG_DRIVER_BLOCK_EMU 0
-#define CONFIG_CPU_RESET_ADDR 0xffffff80
-#undef  CONFIG_ARCH_SIMPLE_HW_INIT
-#define  _CONFIG_ARCH_SIMPLE_HW_INIT 0
-#undef  CONFIG_DRIVER_SPI
-#define  _CONFIG_DRIVER_SPI 0
-#undef  CONFIG_LICENSE_APP_PROPRIETARY
-#define  _CONFIG_LICENSE_APP_PROPRIETARY 0
-#undef  CONFIG_LIBC_FORMATTER_FLOAT
-#define  _CONFIG_LIBC_FORMATTER_FLOAT 0
-#undef  CONFIG_HET_BUILD
-#define  _CONFIG_HET_BUILD 0
-#define CONFIG_PTHREAD_COND
-#define  _CONFIG_PTHREAD_COND 1
-#undef  CONFIG_CPU_LM32_SOCLIB
-#define  _CONFIG_CPU_LM32_SOCLIB 0
-#undef  CONFIG_DEBUG
-#define  _CONFIG_DEBUG 0
-#undef  CONFIG_DRIVER_ICU_NIOS2
-#define  _CONFIG_DRIVER_ICU_NIOS2 0
-#undef  CONFIG_CPU_ARM_CUSTOM_IRQ_HANDLER
-#define  _CONFIG_CPU_ARM_CUSTOM_IRQ_HANDLER 0
-#undef  CONFIG_DRIVER_BLOCK_RAMDISK_SIZE
-#define  _CONFIG_DRIVER_BLOCK_RAMDISK_SIZE 0
-#undef  CONFIG_DRIVER_FS_FAT
-#define  _CONFIG_DRIVER_FS_FAT 0
-#undef  CONFIG_LIBCRYPTO_MD5
-#define  _CONFIG_LIBCRYPTO_MD5 0
-#undef  CONFIG_DRIVER_I2C_TWI6061A
-#define  _CONFIG_DRIVER_I2C_TWI6061A 0
-#undef  CONFIG_HEXO_INTTYPES_DEPRECATED
-#define  _CONFIG_HEXO_INTTYPES_DEPRECATED 0
-#define CONFIG_DRIVER_BLOCK_SOCLIB
-#define  _CONFIG_DRIVER_BLOCK_SOCLIB 1
-#undef  CONFIG_VFS_VERBOSE
-#define  _CONFIG_VFS_VERBOSE 0
-#undef  CONFIG_CPU_X86_64_EMU
-#define  _CONFIG_CPU_X86_64_EMU 0
-#define CONFIG_IBMPC_EARLY_CONSOLE_UART_PORT 0x3f8
-#define CONFIG_ARCH_NAME soclib
-#undef  CONFIG_GAISLER_EARLY_CONSOLE_DEBUG
-#define  _CONFIG_GAISLER_EARLY_CONSOLE_DEBUG 0
-#undef  CONFIG_LIBTERMUI_CON_COMPLETION
-#define  _CONFIG_LIBTERMUI_CON_COMPLETION 0
-#undef  CONFIG_DRIVER_NET_NE2000
-#define  _CONFIG_DRIVER_NET_NE2000 0
-#undef  CONFIG_CPU_MIPS_ABI_N32
-#define  _CONFIG_CPU_MIPS_ABI_N32 0
-#undef  CONFIG_ARCH_SIMPLE_SAM7
-#define  _CONFIG_ARCH_SIMPLE_SAM7 0
-#undef  CONFIG_DRIVER_FS_RAMFS
-#define  _CONFIG_DRIVER_FS_RAMFS 0
-#undef  CONFIG_CPU_ARM_T_PROFILE
-#define  _CONFIG_CPU_ARM_T_PROFILE 0
-#define CONFIG_MUTEK_PRINTK
-#define  _CONFIG_MUTEK_PRINTK 1
-#undef  CONFIG_DRIVER_ICU_LM32
-#define  _CONFIG_DRIVER_ICU_LM32 0
-#undef  CONFIG_DRIVER_ICU_MIPS
-#define  _CONFIG_DRIVER_ICU_MIPS 0
-#define CONFIG_MUTEK_SCHEDULER_IDLE_STACK_SIZE 2048
-#undef  CONFIG_DRIVER_ICU_EMU
-#define  _CONFIG_DRIVER_ICU_EMU 0
-#undef  CONFIG_DRIVER_ICU_8259
-#define  _CONFIG_DRIVER_ICU_8259 0
-#define CONFIG_PTHREAD_JOIN
-#define  _CONFIG_PTHREAD_JOIN 1
-#define CONFIG_MUTEK_MEMALLOC_GUARD_SIZE 256
-#define CONFIG_ROM_SIZE 0x00100000
-#undef  CONFIG_LICENSE_USE_GPL
-#define  _CONFIG_LICENSE_USE_GPL 0
-#undef  CONFIG_NETWORK_AUTOALIGN
-#define  _CONFIG_NETWORK_AUTOALIGN 0
-#undef  CONFIG_DRIVER_LCD_S1D15G00
-#define  _CONFIG_DRIVER_LCD_S1D15G00 0
-#define CONFIG_UNIX_PROC_START_VADDR 0x81000000
-#undef  CONFIG_ARCH_BOOTLOADER
-#define  _CONFIG_ARCH_BOOTLOADER 0
-#undef  CONFIG_PTHREAD_BARRIER_SPIN
-#define  _CONFIG_PTHREAD_BARRIER_SPIN 0
-#undef  CONFIG_IBMPC_EARLY_CONSOLE_E9HACK
-#define  _CONFIG_IBMPC_EARLY_CONSOLE_E9HACK 0
-#undef  CONFIG_VMEM_KERNEL_ALLOC
-#define  _CONFIG_VMEM_KERNEL_ALLOC 0
-#undef  CONFIG_CPU_MIPS32EL_SOCLIB
-#define  _CONFIG_CPU_MIPS32EL_SOCLIB 0
-#undef  CONFIG_ARCH_HW_INIT
-#define  _CONFIG_ARCH_HW_INIT 0
-#undef  CONFIG_RELEASE
-#define  _CONFIG_RELEASE 0
-#undef  CONFIG_MUTEK_SLAB_GLOBAL
-#define  _CONFIG_MUTEK_SLAB_GLOBAL 0
-#undef  CONFIG_VMEM
-#define  _CONFIG_VMEM 0
-#define CONFIG_OPENMP_OMP_THREAD_LIMIT ULONG_MAX
-#define CONFIG_CPU_ARCHNAME ppc
-#define CONFIG_LICENSE_APP_LGPL
-#define  _CONFIG_LICENSE_APP_LGPL 1
-#undef  CONFIG_LICENSE_APP_LGPL3
-#define  _CONFIG_LICENSE_APP_LGPL3 0
-#undef  CONFIG_IBMPC_EARLY_CONSOLE_UART
-#define  _CONFIG_IBMPC_EARLY_CONSOLE_UART 0
-#define CONFIG_CPU_RESET_HANDLER
-#define  _CONFIG_CPU_RESET_HANDLER 1
-#define CONFIG_DRIVER_BLOCK
-#define  _CONFIG_DRIVER_BLOCK 1
-#undef  CONFIG_CPU_NIOS2_MULX
-#define  _CONFIG_CPU_NIOS2_MULX 0
-#undef  CONFIG_NETWORK_NFS
-#define  _CONFIG_NETWORK_NFS 0
-#undef  CONFIG_VMEM_PHYS_ALLOC
-#define  _CONFIG_VMEM_PHYS_ALLOC 0
-#define CONFIG_LICENSE_META
-#define  _CONFIG_LICENSE_META 1
-#undef  CONFIG_EMU_EARLY_CONSOLE
-#define  _CONFIG_EMU_EARLY_CONSOLE 0
-#undef  CONFIG_MUTEK_MEMALLOC_GUARD_INSTRUMENT
-#define  _CONFIG_MUTEK_MEMALLOC_GUARD_INSTRUMENT 0
-#undef  CONFIG_MWMR_USE_RAMLOCKS
-#define  _CONFIG_MWMR_USE_RAMLOCKS 0
-#define  CONFIG_MWMR_USE_RAMLOCKS 1
-#undef  CONFIG_DRIVER_NET_NE2000_FRAGMENT
-#define  _CONFIG_DRIVER_NET_NE2000_FRAGMENT 0
-#define CONFIG_CPU_CACHE_LINE 4
-#undef  CONFIG_HEXO_ARCH_MMU
-#define  _CONFIG_HEXO_ARCH_MMU 0
-#undef  CONFIG_OPENMP_OMP_NUM_THREADS
-#define  _CONFIG_OPENMP_OMP_NUM_THREADS 0
-#undef  CONFIG_IBMPC_EARLY_CONSOLE_VGA
-#define  _CONFIG_IBMPC_EARLY_CONSOLE_VGA 0
-#undef  CONFIG_DRIVER_BLOCK_CACHE_SIZE
-#define  _CONFIG_DRIVER_BLOCK_CACHE_SIZE 0
-#undef  CONFIG_MUTEK_MEMALLOC_SCRAMBLE_INIT
-#define  _CONFIG_MUTEK_MEMALLOC_SCRAMBLE_INIT 0
-#undef  CONFIG_NETWORK_SOCKET
-#define  _CONFIG_NETWORK_SOCKET 0
-#define CONFIG_CPU_SMP_CAPABLE
-#define  _CONFIG_CPU_SMP_CAPABLE 1
-#define CONFIG_DRIVER_CHAR_SOCLIBTTY
-#define  _CONFIG_DRIVER_CHAR_SOCLIBTTY 1
-#undef  CONFIG_LIBCRYPTO_CRC32_SMALL
-#define  _CONFIG_LIBCRYPTO_CRC32_SMALL 0
-#define CONFIG_CPU_X86_SMP_BOOT_ADDR 0x00002000
-#define CONFIG_DRIVER_BLOCK_RAMDISK_BLOCKSIZE 512
-#undef  CONFIG_CPU_CACHE_COHERENCY
-#define  _CONFIG_CPU_CACHE_COHERENCY 0
-#undef  CONFIG_ARCH_EMU_TRAP_KILL
-#define  _CONFIG_ARCH_EMU_TRAP_KILL 0
-#undef  CONFIG_LIBTERMUI_CON_ACL
-#define  _CONFIG_LIBTERMUI_CON_ACL 0
-#undef  CONFIG_DRIVER_FS_DEVFS
-#define  _CONFIG_DRIVER_FS_DEVFS 0
-#undef  CONFIG_DRIVER_INPUT
-#define  _CONFIG_DRIVER_INPUT 0
-#undef  CONFIG_NETWORK_PACKET_ASM
-#define  _CONFIG_NETWORK_PACKET_ASM 0
-#undef  CONFIG_NETWORK_FORWARDING
-#define  _CONFIG_NETWORK_FORWARDING 0
-#undef  CONFIG_CPU_MIPS_FPU
-#define  _CONFIG_CPU_MIPS_FPU 0
-#undef  CONFIG_ARCH_EMU_UNLOCK_YIELD
-#define  _CONFIG_ARCH_EMU_UNLOCK_YIELD 0
-#define CONFIG_MUTEK_MAIN
-#define  _CONFIG_MUTEK_MAIN 1
-#define CONFIG_UNIX_STACK_VADDR 0x80000000
-#undef  CONFIG_CPU_LM32
-#define  _CONFIG_CPU_LM32 0
-#undef  CONFIG_MUTEK_MEMALLOC_CRC
-#define  _CONFIG_MUTEK_MEMALLOC_CRC 0
-#undef  CONFIG_DRIVER_FS_ISO9660
-#define  _CONFIG_DRIVER_FS_ISO9660 0
-#undef  CONFIG_NETWORK_SOCKET_RAW
-#define  _CONFIG_NETWORK_SOCKET_RAW 0
-#define CONFIG_LIBELF_DEBUG 0
-#undef  CONFIG_DRIVER_I2C
-#define  _CONFIG_DRIVER_I2C 0
-#undef  CONFIG_CPU_ENDIAN_LITTLE
-#define  _CONFIG_CPU_ENDIAN_LITTLE 0
-#undef  CONFIG_ARCH_IBMPC_DMA
-#define  _CONFIG_ARCH_IBMPC_DMA 0
-#undef  CONFIG_LIBC_SEMAPHORE
-#define  _CONFIG_LIBC_SEMAPHORE 0
-#undef  CONFIG_SOCLIB_MEMCHECK
-#define  _CONFIG_SOCLIB_MEMCHECK 0
-#undef  CONFIG_ARCH_EMU
-#define  _CONFIG_ARCH_EMU 0
-#undef  CONFIG_DRIVER_FB
-#define  _CONFIG_DRIVER_FB 0
-#undef  CONFIG_CPU_MIPS_ABI_O32
-#define  _CONFIG_CPU_MIPS_ABI_O32 0
-#define CONFIG_LIBTERMUI_CON_MAXCOMPLETE 512
-#define CONFIG_DRIVER_MEM_MEMORY
-#define  _CONFIG_DRIVER_MEM_MEMORY 1
-#undef  CONFIG_OPENMP_GCC_SYNC
-#define  _CONFIG_OPENMP_GCC_SYNC 0
-#undef  CONFIG_CPU_NIOS2_MUL
-#define  _CONFIG_CPU_NIOS2_MUL 0
-#undef  CONFIG_OPENMP_GOMP_SPINCOUNT
-#define  _CONFIG_OPENMP_GOMP_SPINCOUNT 0
-#undef  CONFIG_DRIVER_FB_SOCLIB
-#define  _CONFIG_DRIVER_FB_SOCLIB 0
-#undef  CONFIG_ARCH_EMU_DARWIN
-#define  _CONFIG_ARCH_EMU_DARWIN 0
-#define CONFIG_OPENMP_OMP_SCHEDULE NULL
-#define CONFIG_ROM_ADDR 0x60000000
-#undef  CONFIG_ARCH_SOCLIB_BOOTLOADER_MUTEKH
-#define  _CONFIG_ARCH_SOCLIB_BOOTLOADER_MUTEKH 0
-#undef  CONFIG_LIBTERMUI_CON_ALIAS
-#define  _CONFIG_LIBTERMUI_CON_ALIAS 0
-#undef  CONFIG_CPU_LM32_SIGN_EXTEND
-#define  _CONFIG_CPU_LM32_SIGN_EXTEND 0
-#undef  CONFIG_LICENSE_APP_GPL3
-#define  _CONFIG_LICENSE_APP_GPL3 0
-#undef  CONFIG_OPENMP
-#define  _CONFIG_OPENMP 0
-#define CONFIG_DRIVER_ENUM_ROOT
-#define  _CONFIG_DRIVER_ENUM_ROOT 1
-#define CONFIG_DRIVER_TIMER_SOCLIB
-#define  _CONFIG_DRIVER_TIMER_SOCLIB 1
-#define CONFIG_COMPILE_FRAMEPTR
-#define  _CONFIG_COMPILE_FRAMEPTR 1
-#undef  CONFIG_MUTEK_MEM_REGION_AUTO_INIT
-#define  _CONFIG_MUTEK_MEM_REGION_AUTO_INIT 0
-#undef  CONFIG_LIBDSRL_DEBUG
-#define  _CONFIG_LIBDSRL_DEBUG 0
-#define CONFIG_CPU_PPC_SOCLIB
-#define  _CONFIG_CPU_PPC_SOCLIB 1
-#undef  CONFIG_DRIVER_CHAR_NULL
-#define  _CONFIG_DRIVER_CHAR_NULL 0
-#define CONFIG_ARCH_META
-#define  _CONFIG_ARCH_META 1
-#define CONFIG_DRIVER_CHAR
-#define  _CONFIG_DRIVER_CHAR 1
-#undef  CONFIG_MWMR_PTHREAD
-#define  CONFIG_MWMR_PTHREAD 1
-#define  _CONFIG_MWMR_PTHREAD 0
-#undef  CONFIG_CPU_MIPS32EB_SOCLIB
-#define  _CONFIG_CPU_MIPS32EB_SOCLIB 0
-#undef  CONFIG_DRIVER_FS_FAT32
-#define  _CONFIG_DRIVER_FS_FAT32 0
-#define CONFIG_LIBTERMUI_CON_MAXCMDLEN 16
-#undef  CONFIG_MWMR_LOCKFREE
-#define  _CONFIG_MWMR_LOCKFREE 0
-#undef  CONFIG_MUTEK_MEMALLOC_EXPERIMENTAL
-#define  _CONFIG_MUTEK_MEMALLOC_EXPERIMENTAL 0
-#undef  CONFIG_DRIVER_BLOCK_SD_MMC
-#define  _CONFIG_DRIVER_BLOCK_SD_MMC 0
-#undef  CONFIG_NETWORK_UDP
-#define  _CONFIG_NETWORK_UDP 0
-#undef  CONFIG_HEXO_LAZY_SWITCH
-#define  _CONFIG_HEXO_LAZY_SWITCH 0
-#undef  CONFIG_NETWORK_IPV4
-#define  _CONFIG_NETWORK_IPV4 0
-#undef  CONFIG_HEXO_MMU_PAGESIZE
-#define  _CONFIG_HEXO_MMU_PAGESIZE 0
-#undef  CONFIG_CPU_X86_EMU
-#define  _CONFIG_CPU_X86_EMU 0
-#undef  CONFIG_NETWORK_DHCLIENT
-#define  _CONFIG_NETWORK_DHCLIENT 0
-#undef  CONFIG_CPU_NIOS2
-#define  _CONFIG_CPU_NIOS2 0
-#define CONFIG_CPU_CACHE
-#define  _CONFIG_CPU_CACHE 1
-#undef  CONFIG_LICENSE_APP_PUBLIC
-#define  _CONFIG_LICENSE_APP_PUBLIC 0
-#undef  CONFIG_LIBTERMUI
-#define  _CONFIG_LIBTERMUI 0
-#undef  CONFIG_CPU_AVR_GCCMCU
-#define  _CONFIG_CPU_AVR_GCCMCU 0
-#undef  CONFIG_ARCH_SOCLIB_RAMLOCK
-#define  _CONFIG_ARCH_SOCLIB_RAMLOCK 0
-#define CONFIG_VFS_NAMELEN 32
-#undef  CONFIG_DRIVER_CHAR_UART8250
-#define  _CONFIG_DRIVER_CHAR_UART8250 0
-#undef  CONFIG_CPU_ARM_7TDMI
-#define  _CONFIG_CPU_ARM_7TDMI 0
-#define CONFIG_CPU_NAME ppc405
-#undef  CONFIG_HEXO_INTTYPES_SMALL
-#define  _CONFIG_HEXO_INTTYPES_SMALL 0
-#undef  CONFIG_CPU_NIOS2_SOCLIB
-#define  _CONFIG_CPU_NIOS2_SOCLIB 0
-#define CONFIG_LIBC_FORMATTER_PRINTF
-#define  _CONFIG_LIBC_FORMATTER_PRINTF 1
-#undef  CONFIG_DRIVER_CHAR_VGATTY_KEYBOARD
-#define  _CONFIG_DRIVER_CHAR_VGATTY_KEYBOARD 0
-#undef  CONFIG_DRIVER_BLOCK_ATA
-#define  _CONFIG_DRIVER_BLOCK_ATA 0
-#define CONFIG_MUTEK_CONSOLE
-#define  _CONFIG_MUTEK_CONSOLE 1
-#define CONFIG_OPENMP_OMP_DYNAMIC false
-#undef  CONFIG_LICENSE_USE_LGPL3
-#define  _CONFIG_LICENSE_USE_LGPL3 0
-#undef  CONFIG_LIBELF
-#define  _CONFIG_LIBELF 0
-#undef  CONFIG_DRIVER_LCD
-#define  _CONFIG_DRIVER_LCD 0
-#undef  CONFIG_DRIVER_CHAR_SAM7DBGU
-#define  _CONFIG_DRIVER_CHAR_SAM7DBGU 0
-#undef  CONFIG_LICENSE_USE_PUBLIC
-#define  _CONFIG_LICENSE_USE_PUBLIC 0
-#undef  CONFIG_CPU_SPARC
-#define  _CONFIG_CPU_SPARC 0
-#undef  CONFIG_DRIVER_ENUM_PCI
-#define  _CONFIG_DRIVER_ENUM_PCI 0
-#undef  CONFIG_DRIVER_GPIO
-#define  _CONFIG_DRIVER_GPIO 0
-#define CONFIG_CPU_RESET_SIZE 0x80
-#undef  CONFIG_SRL_STD
-#define  _CONFIG_SRL_STD 0
-#undef  CONFIG_ARCH_GAISLER
-#define  _CONFIG_ARCH_GAISLER 0
-#define CONFIG_LIBC_STREAM
-#define  _CONFIG_LIBC_STREAM 1
-#undef  CONFIG_ARCH_EMU_LINUX
-#define  _CONFIG_ARCH_EMU_LINUX 0
-#undef  CONFIG_CPU_AVR
-#define  _CONFIG_CPU_AVR 0
-#undef  CONFIG_LICENSE_APP_BSD
-#define  _CONFIG_LICENSE_APP_BSD 0
-#define CONFIG_CPU_PPC_WAIT_MSRWE
-#define  _CONFIG_CPU_PPC_WAIT_MSRWE 1
-#undef  CONFIG_HEXO_USERMODE
-#define  _CONFIG_HEXO_USERMODE 0
-#undef  CONFIG_NETWORK_TCP
-#define  _CONFIG_NETWORK_TCP 0
-#define CONFIG_CPU_PPC
-#define  _CONFIG_CPU_PPC 1
-#define CONFIG_ARCH_SIMPLE_RESET_ADDR CONFIG_CPU_RESET_ADDR
-#undef  CONFIG_ARCH_IBMPC
-#define  _CONFIG_ARCH_IBMPC 0
-#undef  CONFIG_CPU_NONALIGNED_ACCESS
-#define  _CONFIG_CPU_NONALIGNED_ACCESS 0
-#define CONFIG_CPU_EXCEPTION_ALIGN 0x00010000
-#undef  CONFIG_MUTEK_NUMA
-#define  _CONFIG_MUTEK_NUMA 0
-#undef  CONFIG_PTHREAD_SPIN
-#define  _CONFIG_PTHREAD_SPIN 0
-#undef  CONFIG_PTHREAD_BARRIER_ATTR
-#define  _CONFIG_PTHREAD_BARRIER_ATTR 0
-#define CONFIG_DRIVER_ICU_SOCLIB
-#define  _CONFIG_DRIVER_ICU_SOCLIB 1
-#define CONFIG_DRIVER_ENUM_FDT
-#define  _CONFIG_DRIVER_ENUM_FDT 1
-#undef  CONFIG_MUTEK_SCHEDULER_CANDIDATE_FCN
-#define  _CONFIG_MUTEK_SCHEDULER_CANDIDATE_FCN 0
-#undef  CONFIG_DRIVER_BLOCK_CACHE
-#define  _CONFIG_DRIVER_BLOCK_CACHE 0
-#undef  CONFIG_COMPILE_SAVETEMPS
-#define  _CONFIG_COMPILE_SAVETEMPS 0
-#define CONFIG_MUTEK_EARLY_CONSOLE
-#define  _CONFIG_MUTEK_EARLY_CONSOLE 1
-#undef  CONFIG_HEXO_MMU_VADDR
-#define  _CONFIG_HEXO_MMU_VADDR 0
-#undef  CONFIG_CPU_LM32_BARREL_SHIFT
-#define  _CONFIG_CPU_LM32_BARREL_SHIFT 0
-#undef  CONFIG_ARCH_CLUSTER
-#define  _CONFIG_ARCH_CLUSTER 0
-#undef  CONFIG_HETROM_SIZE
-#define  _CONFIG_HETROM_SIZE 0
-#undef  CONFIG_DRIVER_ICU_ARM
-#define  _CONFIG_DRIVER_ICU_ARM 0
-#undef  CONFIG_LIBELF_DYNAMIC
-#define  _CONFIG_LIBELF_DYNAMIC 0
-#undef  CONFIG_DRIVER_FS_FAT16
-#define  _CONFIG_DRIVER_FS_FAT16 0
-#define CONFIG_DRIVER_ICU
-#define  _CONFIG_DRIVER_ICU 1
-#undef  CONFIG_DRIVER_CHAR_US6089C_UART
-#define  _CONFIG_DRIVER_CHAR_US6089C_UART 0
-#undef  CONFIG_SRL_MULTI_TTY
-#define  _CONFIG_SRL_MULTI_TTY 0
-#undef  CONFIG_COMPILE_INSTRUMENT
-#define  _CONFIG_COMPILE_INSTRUMENT 0
-#undef  CONFIG_DRIVER_CHAR_VGATTY_ANSI
-#define  _CONFIG_DRIVER_CHAR_VGATTY_ANSI 0
-#undef  CONFIG_CPU_MIPS_ABI_O64
-#define  _CONFIG_CPU_MIPS_ABI_O64 0
-#define CONFIG_FDT
-#define  _CONFIG_FDT 1
-#undef  CONFIG_GAISLER_EARLY_CONSOLE
-#define  _CONFIG_GAISLER_EARLY_CONSOLE 0
-#define CONFIG_PTHREAD_KEYS_MAX 1
-#undef  CONFIG_CPU_EXCEPTION_FIXED_ADDRESS
-#define  _CONFIG_CPU_EXCEPTION_FIXED_ADDRESS 0
-#define CONFIG_GAISLER_EARLY_CONSOLE_SCALER 0x100
-#undef  CONFIG_CPU_SPARC_SOCLIB
-#define  _CONFIG_CPU_SPARC_SOCLIB 0
-#undef  CONFIG_ARCH_SIMPLE
-#define  _CONFIG_ARCH_SIMPLE 0
-#undef  CONFIG_LIBC_FORMATTER_SIMPLE
-#define  _CONFIG_LIBC_FORMATTER_SIMPLE 0
-#undef  CONFIG_HEXO_INTERRUPT_STACK
-#define  _CONFIG_HEXO_INTERRUPT_STACK 0
-#undef  CONFIG_LIBTINYGL_VGAFB
-#define  _CONFIG_LIBTINYGL_VGAFB 0
-#define CONFIG_SOCLIB_VMEM_MALLOC_REGION_SIZE 0x8000
-#undef  CONFIG_LIBC_FORMATTER_HEXDUMP
-#define  _CONFIG_LIBC_FORMATTER_HEXDUMP 0
-#undef  CONFIG_CPU_PPC_WAIT_OPCODE
-#define  _CONFIG_CPU_PPC_WAIT_OPCODE 0
-#undef  CONFIG_HEXO_CPU_MMU
-#define  _CONFIG_HEXO_CPU_MMU 0
-#define CONFIG_CPU_MAXCOUNT 5
-#undef  CONFIG_DRIVER_NET
-#define  _CONFIG_DRIVER_NET 0
-#undef  CONFIG_LIBTERMUI_CON_LONG_HELP
-#define  _CONFIG_LIBTERMUI_CON_LONG_HELP 0
-#undef  CONFIG_CPU_MIPS_USE_ERET
-#define  _CONFIG_CPU_MIPS_USE_ERET 0
-#define CONFIG_DRIVER_BLOCK_PARTITION_MAXCOUNT 32
-#define CONFIG_HEXO_STACK_ALIGN 16
-#define CONFIG_DRIVER_ICU_SOCLIB_XICU
-#define  _CONFIG_DRIVER_ICU_SOCLIB_XICU 1
-#define CONFIG_ARCH_DEVICE_TREE
-#define  _CONFIG_ARCH_DEVICE_TREE 1
-#define CONFIG_COMPILE_MCPU 405
-#define CONFIG_LIBTERMUI_IOHEADER "termio_dev_pv.h"
-#undef  CONFIG_CPU_AVR_IRQ_COUNT
-#define  _CONFIG_CPU_AVR_IRQ_COUNT 0
-#undef  CONFIG_DRIVER_SPI_OPENCORES
-#define  _CONFIG_DRIVER_SPI_OPENCORES 0
-#define CONFIG_VFS_GLOBAL_CWD
-#define  _CONFIG_VFS_GLOBAL_CWD 1
-#define CONFIG_PTHREAD
-#define  _CONFIG_PTHREAD 1
-#undef  CONFIG_CPU_MIPS
-#define  _CONFIG_CPU_MIPS 0
-#define CONFIG_COMPILE_SOFTFLOAT
-#define  _CONFIG_COMPILE_SOFTFLOAT 1
-#define CONFIG_PTHREAD_CANCEL
-#define  _CONFIG_PTHREAD_CANCEL 1
-#undef  CONFIG_NETWORK_RARP
-#define  _CONFIG_NETWORK_RARP 0
-#undef  CONFIG_MUTEK_MEMALLOC_SIMPLE
-#define  _CONFIG_MUTEK_MEMALLOC_SIMPLE 0
-#undef  CONFIG_CPU_ARM_M_PROFILE
-#define  _CONFIG_CPU_ARM_M_PROFILE 0
-#undef  CONFIG_LIBCRYPTO
-#define  _CONFIG_LIBCRYPTO 0
-#define CONFIG_MUTEK_PRINTK_KEEP_EARLY
-#define  _CONFIG_MUTEK_PRINTK_KEEP_EARLY 1
-#define CONFIG_LIBC_ASSERT
-#define  _CONFIG_LIBC_ASSERT 1
-#undef  CONFIG_CPU_ARM_TLS_IN_C15
-#define  _CONFIG_CPU_ARM_TLS_IN_C15 0
-#undef  CONFIG_CPU_AVR_ENHANCED
-#define  _CONFIG_CPU_AVR_ENHANCED 0
-#undef  CONFIG_CAPSULE
-#define  _CONFIG_CAPSULE 0
-#define CONFIG_MUTEK_TIMER
-#define  _CONFIG_MUTEK_TIMER 1
-#undef  CONFIG_DRIVER_TIMER_PITC_6079A
-#define  _CONFIG_DRIVER_TIMER_PITC_6079A 0
-#undef  CONFIG_DRIVER_ENUM_ISAPNP
-#define  _CONFIG_DRIVER_ENUM_ISAPNP 0
-#define CONFIG_CPU_ENDIAN_BIG
-#define  _CONFIG_CPU_ENDIAN_BIG 1
-#undef  CONFIG_MWMR
-#define  _CONFIG_MWMR 0
-#undef  CONFIG_CPU_X86
-#define  _CONFIG_CPU_X86 0
-#undef  CONFIG_MUTEK_MEMALLOC_GUARD
-#define  _CONFIG_MUTEK_MEMALLOC_GUARD 0
-#undef  CONFIG_LICENSE_USE_PROPRIETARY
-#define  _CONFIG_LICENSE_USE_PROPRIETARY 0
-#undef  CONFIG_DRIVER_FB_VGA
-#define  _CONFIG_DRIVER_FB_VGA 0
-#undef  CONFIG_PTHREAD_CHECK
-#define  _CONFIG_PTHREAD_CHECK 0
-#undef  CONFIG_LIBTINYGL
-#define  _CONFIG_LIBTINYGL 0
-#undef  CONFIG_ARCH_SOCLIB_VCACHE_40
-#define  _CONFIG_ARCH_SOCLIB_VCACHE_40 0
-#undef  CONFIG_CPU_MIPS_ABI_EABI
-#define  _CONFIG_CPU_MIPS_ABI_EABI 0
-#define CONFIG_LICENSE_USE_CECILL2
-#define  _CONFIG_LICENSE_USE_CECILL2 1
-#define CONFIG_ARCH_SOCLIB
-#define  _CONFIG_ARCH_SOCLIB 1
-#undef  CONFIG_CPU_MIPS_VERSION
-#define  _CONFIG_CPU_MIPS_VERSION 0
-#undef  CONFIG_LIBC_UNIXFD
-#define  _CONFIG_LIBC_UNIXFD 0
-#define CONFIG_PTHREAD_MAIN
-#define  _CONFIG_PTHREAD_MAIN 1
-#undef  CONFIG_DRIVER_ICU_SPARC
-#define  _CONFIG_DRIVER_ICU_SPARC 0
-#undef  CONFIG_DRIVER_NET_TUNTAP
-#define  _CONFIG_DRIVER_NET_TUNTAP 0
-#undef  CONFIG_CPU_ARM_THUMB
-#define  _CONFIG_CPU_ARM_THUMB 0
-#undef  CONFIG_PTHREAD_ONCE
-#define  _CONFIG_PTHREAD_ONCE 0
-#undef  CONFIG_MUTEK_PRINTK_LOCK
-#define  _CONFIG_MUTEK_PRINTK_LOCK 0
-#undef  CONFIG_ARCH_SOCLIB_VCACHE_32
-#define  _CONFIG_ARCH_SOCLIB_VCACHE_32 0
-#define CONFIG_DRIVER_ICU_IPI
-#define  _CONFIG_DRIVER_ICU_IPI 1
-#define CONFIG_HEXO_IRQ
-#define  _CONFIG_HEXO_IRQ 1
-#undef  CONFIG_CPU_X86_ALIGNCHECK
-#define  _CONFIG_CPU_X86_ALIGNCHECK 0
-#undef  CONFIG_DRIVER_ICU_SAM7
-#define  _CONFIG_DRIVER_ICU_SAM7 0
-#define CONFIG_MUTEK_SEMAPHORE
-#define  _CONFIG_MUTEK_SEMAPHORE 1
-#undef  CONFIG_ARCH_IBMPC_MEMORY
-#define  _CONFIG_ARCH_IBMPC_MEMORY 0
-#undef  CONFIG_HEXO_MMU_PADDR
-#define  _CONFIG_HEXO_MMU_PADDR 0
-#undef  CONFIG_UNIX
-#define  _CONFIG_UNIX 0
-#define CONFIG_ARCH_EMU_MEMORY 16777216
-#undef  CONFIG_MUTEK_MEMALLOC_ALGO_BESTFIT
-#define  _CONFIG_MUTEK_MEMALLOC_ALGO_BESTFIT 0
-#undef  CONFIG_DRIVER_FS_SOCLIB_FDACCESS
-#define  _CONFIG_DRIVER_FS_SOCLIB_FDACCESS 0
-#define CONFIG_RAM_ADDR 0x7f000000
-#define CONFIG_MUTEK_MEMALLOC_ALIGN 0x20
-#undef  CONFIG_CPU_SPARC_LEON3
-#define  _CONFIG_CPU_SPARC_LEON3 0
-#undef  CONFIG_NETWORK_FILTER
-#define  _CONFIG_NETWORK_FILTER 0
-#define CONFIG_GPCT
-#define  _CONFIG_GPCT 1
-#undef  CONFIG_LIBLUA
-#define  _CONFIG_LIBLUA 0
-#undef  CONFIG_LICENSE_USE_MIT
-#define  _CONFIG_LICENSE_USE_MIT 0
-#undef  CONFIG_LICENSE_APP_GPL
-#define  _CONFIG_LICENSE_APP_GPL 0
-#define CONFIG_DEVICE
-#define  _CONFIG_DEVICE 1
-#define CONFIG_MUTEK_MEMALLOC_SMART
-#define  _CONFIG_MUTEK_MEMALLOC_SMART 1
-#undef  CONFIG_CPU_SPARC_APP_REGS
-#define  _CONFIG_CPU_SPARC_APP_REGS 0
-#undef  CONFIG_LIBELF_RTLD
-#define  _CONFIG_LIBELF_RTLD 0
-#define CONFIG_PTHREAD_BARRIER
-#define  _CONFIG_PTHREAD_BARRIER 1
-#define CONFIG_SOCLIB_EARLY_CONSOLE
-#define  _CONFIG_SOCLIB_EARLY_CONSOLE 1
-#define CONFIG_COMPILE_PIC
-#define  _CONFIG_COMPILE_PIC 1
-#undef  CONFIG_DRIVER_SPI_SPI6088D
-#define  _CONFIG_DRIVER_SPI_SPI6088D 0
-#define CONFIG_PTHREAD_MUTEX
-#define  _CONFIG_PTHREAD_MUTEX 1
-#undef  CONFIG_DRIVER_FS_FAT_LFN
-#define  _CONFIG_DRIVER_FS_FAT_LFN 0
-#undef  CONFIG_MUTEK_MEMALLOC_STATS
-#define  _CONFIG_MUTEK_MEMALLOC_STATS 0
-#define CONFIG_HEXO_INTERRUPT_STACK_SIZE 4096
-#undef  CONFIG_NETWORK_PROFILING
-#define  _CONFIG_NETWORK_PROFILING 0
-#undef  CONFIG_CPU_ARM_SOCLIB
-#define  _CONFIG_CPU_ARM_SOCLIB 0
-#undef  CONFIG_MUTEK_SCHEDULER_PREEMPT
-#define  _CONFIG_MUTEK_SCHEDULER_PREEMPT 0
-#undef  CONFIG_DRIVER_BLOCK_RAMDISK
-#define  _CONFIG_DRIVER_BLOCK_RAMDISK 0
-#define CONFIG_LIBAVATAR
-#define  _CONFIG_LIBAVATAR 1
-#define CONFIG_DRIVER_ENUM
-#define  _CONFIG_DRIVER_ENUM 1
-#undef  CONFIG_LICENSE_USE_GPL3
-#define  _CONFIG_LICENSE_USE_GPL3 0
-#undef  CONFIG_DRIVER_CHAR_EMUTTY
-#define  _CONFIG_DRIVER_CHAR_EMUTTY 0
-#define CONFIG_PTHREAD_TIME
-#define  _CONFIG_PTHREAD_TIME 1
-#define CONFIG_LICENSE_USE_LGPL
-#define  _CONFIG_LICENSE_USE_LGPL 1
-#define CONFIG_MUTEK_TIMER_UNIT 1e-3
-#undef  CONFIG_DRIVER_SOUND
-#define  _CONFIG_DRIVER_SOUND 0
-#define CONFIG_MUTEK_SCHEDULER
-#define  _CONFIG_MUTEK_SCHEDULER 1
-#undef  CONFIG_ARCH_EMU_PAGESIZE
-#define  _CONFIG_ARCH_EMU_PAGESIZE 0
-#undef  CONFIG_PTHREAD_RWLOCK
-#define  _CONFIG_PTHREAD_RWLOCK 0
-#undef  CONFIG_MUTEK_MEMALLOC_SCRAMBLE
-#define  _CONFIG_MUTEK_MEMALLOC_SCRAMBLE 0
-#undef  CONFIG_SRL
-#define  _CONFIG_SRL 0
-#define CONFIG_PTHREAD_MUTEX_ATTR
-#define  _CONFIG_PTHREAD_MUTEX_ATTR 1
-#undef  CONFIG_MWMR_INSTRUMENTATION
-#define  _CONFIG_MWMR_INSTRUMENTATION 0
-#undef  CONFIG_DRIVER_CHAR_ZERO
-#define  _CONFIG_DRIVER_CHAR_ZERO 0
-#define CONFIG_DRIVER_ICU_PPC
-#define  _CONFIG_DRIVER_ICU_PPC 1
-#define CONFIG_LIBC_STREAM_BUFFER_SIZE 256
-#define CONFIG_LICENSE_USE_BSD
-#define  _CONFIG_LICENSE_USE_BSD 1
-#define CONFIG_PTHREAD_ATTRIBUTES
-#define  _CONFIG_PTHREAD_ATTRIBUTES 1
-#undef  CONFIG_CPU_X86_SYSENTER
-#define  _CONFIG_CPU_X86_SYSENTER 0
-#define CONFIG_LIBUNIX_MAX_FD 32
-#define CONFIG_SOCLIB_MEMCHECK_ADDRESS 0x00000400
-#undef  CONFIG_HEXO_CONTEXT_STATS
-#define  _CONFIG_HEXO_CONTEXT_STATS 0
-#undef  CONFIG_LIBTERMUI_CONSOLE
-#define  _CONFIG_LIBTERMUI_CONSOLE 0
-#undef  CONFIG_DRIVER_INPUT_8042
-#define  _CONFIG_DRIVER_INPUT_8042 0
-#undef  CONFIG_MUTEK_SLAB_NAME
-#define  _CONFIG_MUTEK_SLAB_NAME 0
-#define CONFIG_ARCH_SMP
-#define  _CONFIG_ARCH_SMP 1
-#undef  CONFIG_HEXO_MMU
-#define  _CONFIG_HEXO_MMU 0
-#undef  CONFIG_DRIVER_FS_ISO9660_ROCKRIDGE
-#define  _CONFIG_DRIVER_FS_ISO9660_ROCKRIDGE 0
-#define CONFIG_MUTEK_TIMER_EVENTS
-#define  _CONFIG_MUTEK_TIMER_EVENTS 1
-#undef  CONFIG_OPENMP_OMP_STACKSIZE
-#define  _CONFIG_OPENMP_OMP_STACKSIZE 0
-#undef  CONFIG_COMPILE_MARCH
-#define  _CONFIG_COMPILE_MARCH 0
-#undef  CONFIG_COMPILE_COLLECT
-#define  _CONFIG_COMPILE_COLLECT 0
-#undef  CONFIG_CPU_AVR_ATMEGA128
-#define  _CONFIG_CPU_AVR_ATMEGA128 0
-#undef  CONFIG_LIBC_STRING_ASM
-#define  _CONFIG_LIBC_STRING_ASM 0
-#undef  CONFIG_LIBCRYPTO_ARC4
-#define  _CONFIG_LIBCRYPTO_ARC4 0
-#undef  CONFIG_CPU_LM32_DIVIDE
-#define  _CONFIG_CPU_LM32_DIVIDE 0
-#undef  CONFIG_DRIVER_BLOCK_PARTITION
-#define  _CONFIG_DRIVER_BLOCK_PARTITION 0
-#undef  CONFIG_CPU_NIOS2_DIV
-#define  _CONFIG_CPU_NIOS2_DIV 0
-#undef  CONFIG_MWMR_SOCLIB
-#define  _CONFIG_MWMR_SOCLIB 0
-#undef  CONFIG_LICENSE_APP_MIT
-#define  _CONFIG_LICENSE_APP_MIT 0
-#define CONFIG_COMPILE_DEBUG
-#define  _CONFIG_COMPILE_DEBUG 1
-#define CONFIG_HEXO_IPI
-#define  _CONFIG_HEXO_IPI 1
-#undef  CONFIG_LICENSE_APP_CECILL2
-#define  _CONFIG_LICENSE_APP_CECILL2 0
-#define CONFIG_DRIVER_TIMER
-#define  _CONFIG_DRIVER_TIMER 1
-#undef  CONFIG_DRIVER_CHAR_GAISLER_APBUART
-#define  _CONFIG_DRIVER_CHAR_GAISLER_APBUART 0
-#undef  CONFIG_NETWORK
-#define  _CONFIG_NETWORK 0
-#define CONFIG_SRL_VERBOSITY NONE
-#define CONFIG_SOCLIB_EARLY_CONSOLE_ADDR 0xd0200000
-#undef  CONFIG_PTHREAD_KEYS
-#define  _CONFIG_PTHREAD_KEYS 0
-#undef  CONFIG_GAISLER_EARLY_CONSOLE_ADDR
-#define  _CONFIG_GAISLER_EARLY_CONSOLE_ADDR 0
-#undef  CONFIG_DRIVER_CHAR_RANDOM
-#define  _CONFIG_DRIVER_CHAR_RANDOM 0
-#undef  CONFIG_DRIVER_ICU_APIC_IOAPIC
-#define  _CONFIG_DRIVER_ICU_APIC_IOAPIC 0
-#define CONFIG_DRIVER_MEM
-#define  _CONFIG_DRIVER_MEM 1
-#undef  CONFIG_LIBELF_RTLD_KERNEL
-#define  _CONFIG_LIBELF_RTLD_KERNEL 0
-#undef  CONFIG_MUTEK_SLAB
-#define  _CONFIG_MUTEK_SLAB 0
-#undef  CONFIG_MUTEK_LOGO
-#define  _CONFIG_MUTEK_LOGO 0
-#undef  CONFIG_OPENMP_USE_POSIX
-#define  _CONFIG_OPENMP_USE_POSIX 0
-#undef  CONFIG_MUTEK_SMP_APP_START
-#define  _CONFIG_MUTEK_SMP_APP_START 0
-#define CONFIG_MUTEK_SCHEDULER_STATIC
-#define  _CONFIG_MUTEK_SCHEDULER_STATIC 1
-#define CONFIG_PTHREAD_KEYS_DESTRUCTOR_ITERATIONS 1
-#undef  CONFIG_DRIVER_LCD_PCF8833
-#define  _CONFIG_DRIVER_LCD_PCF8833 0
-#define CONFIG_HEXO
-#define  _CONFIG_HEXO 1
-#define CONFIG_CPU_LM32_IRQ_COUNT 1
-#define CONFIG_ARCH_SMP_CAPABLE
-#define  _CONFIG_ARCH_SMP_CAPABLE 1
-#undef  CONFIG_ARCH_HW_INIT_USER
-#define  _CONFIG_ARCH_HW_INIT_USER 0
-#undef  CONFIG_DRIVER_FS_FAT_TYPE_FROM_STRING
-#define  _CONFIG_DRIVER_FS_FAT_TYPE_FROM_STRING 0
-#undef  CONFIG_HETROM_ADDR
-#define  _CONFIG_HETROM_ADDR 0
-#undef  CONFIG_DRIVER_ICU_APIC
-#define  _CONFIG_DRIVER_ICU_APIC 0
-#undef  CONFIG_LIBCRYPTO_CRC32
-#define  _CONFIG_LIBCRYPTO_CRC32 0
-#define CONFIG_COMPILE_OPTIMIZE 2
-#define CONFIG_OPENMP_OMP_MAX_ACTIVE_LEVELS INT_MAX
-#undef  CONFIG_MUTEK_RWLOCK
-#define  _CONFIG_MUTEK_RWLOCK 0
-#define CONFIG_DATA_FROM_ROM
-#define  _CONFIG_DATA_FROM_ROM 1
-#undef  CONFIG_MUTEK_SCHEDULER_MIGRATION_AFFINITY
-#define  _CONFIG_MUTEK_SCHEDULER_MIGRATION_AFFINITY 0
-#define CONFIG_CPU_SPARC_WINCOUNT 8
-#undef  CONFIG_MUTEK_MEM_REGION
-#define  _CONFIG_MUTEK_MEM_REGION 0
-#undef  CONFIG_DRIVER_GPIO_SAM7
-#define  _CONFIG_DRIVER_GPIO_SAM7 0
-#undef  CONFIG_DRIVER_TIMER_8253
-#define  _CONFIG_DRIVER_TIMER_8253 0
-#define CONFIG_LIBC_MAX_FD 32
-#undef  CONFIG_DRIVER_TIMER_EMU
-#define  _CONFIG_DRIVER_TIMER_EMU 0
-#define CONFIG_CPU_WAIT_IRQ
-#define  _CONFIG_CPU_WAIT_IRQ 1
-#undef  CONFIG_DRIVER_INPUT_MT5F
-#define  _CONFIG_DRIVER_INPUT_MT5F 0
-#undef  CONFIG_DRIVER_CHAR_VGATTY
-#define  _CONFIG_DRIVER_CHAR_VGATTY 0
-#undef  CONFIG_CPU_LM32_MULTIPLY
-#define  _CONFIG_CPU_LM32_MULTIPLY 0
-#define CONFIG_CPU_META
-#define  _CONFIG_CPU_META 1
-#undef  CONFIG_NETWORK_PING
-#define  _CONFIG_NETWORK_PING 0
-#define CONFIG_DEVICE_TREE
-#define  _CONFIG_DEVICE_TREE 1
-#define CONFIG_OPENMP_OMP_NESTED false
-#define CONFIG_VFS_GLOBAL_ROOT
-#define  _CONFIG_VFS_GLOBAL_ROOT 1
-#define CONFIG_RAM_SIZE 0x01000000
-#undef  CONFIG_LIBTERMUI_GETLINE
-#define  _CONFIG_LIBTERMUI_GETLINE 0
-#define CONFIG_LIBC_STREAM_STD
-#define  _CONFIG_LIBC_STREAM_STD 1
-#undef  CONFIG_LIBELF_RTLD_TLS
-#define  _CONFIG_LIBELF_RTLD_TLS 0
-#define CONFIG_UNIX_KSTACK_SIZE 4096
-#undef  CONFIG_HEXO_CONTEXT_PREEMPT
-#define  _CONFIG_HEXO_CONTEXT_PREEMPT 0
-#undef  CONFIG_HEXO_FPU
-#define  _CONFIG_HEXO_FPU 0
-#define CONFIG_LIBM
-#define  _CONFIG_LIBM 1
-#define CONFIG_HEXO_RESET_STACK_SIZE 12
-#undef  CONFIG_MUTEK_PRINTK_HEXDUMP
-#define  _CONFIG_MUTEK_PRINTK_HEXDUMP 0
-#define CONFIG_LIBTERMUI_CON_MAXLINELEN 512
-#undef  CONFIG_CPU_ARM
-#define  _CONFIG_CPU_ARM 0
-#undef  CONFIG_MUTEK_SCHEDULER_MIGRATION
-#define  _CONFIG_MUTEK_SCHEDULER_MIGRATION 0
-#define CONFIG_VFS
-#define  _CONFIG_VFS 1
-#define CONFIG_PTHREAD_STACK_SIZE 32768
-#define CONFIG_OPENMP_GOMP_CPU_AFFINITY NULL
-#define CONFIG_LIBC
-#define  _CONFIG_LIBC 1
-#undef  CONFIG_LIBDSRL
-#define  _CONFIG_LIBDSRL 0
-
-#define __MUTEKH__
-#define BUILD_BUILD_NAME soclib-ppc
-#define BUILD_MODULES  avatar:/users/enseig/genius/Prog/mutekh/examples/avatar pf_def:/users/enseig/genius/Prog/mutekh/examples/common mutek:/users/enseig/genius/Prog/mutekh/mutek cpu:/users/enseig/genius/Prog/mutekh/cpu/ppc libfdt:/users/enseig/genius/Prog/mutekh/libfdt libpthread:/users/enseig/genius/Prog/mutekh/libpthread arch:/users/enseig/genius/Prog/mutekh/arch/soclib gpct:/users/enseig/genius/Prog/mutekh/gpct drivers:/users/enseig/genius/Prog/mutekh/drivers libavatar:/users/enseig/genius/Prog/mutekh/libavatar hexo:/users/enseig/genius/Prog/mutekh/hexo libm:/users/enseig/genius/Prog/mutekh/libm libvfs:/users/enseig/genius/Prog/mutekh/libvfs libc:/users/enseig/genius/Prog/mutekh/libc
-#define BUILD_OUTPUT_NAME avatar
-#define BUILD_SRC_DIR /users/enseig/genius/Prog/mutekh
-#define BUILD_platform_name pf_soclib_tutorial
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/segmentation.h b/MPSoC/mutekh/examples/lastavatar-9-9/segmentation.h
deleted file mode 100644
index 54d5c666ec9c079b02e933a9d77e0f5787f01eb5..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/segmentation.h
+++ /dev/null
@@ -1,51 +0,0 @@
-/*
- *
- * SOCLIB_LGPL_HEADER_BEGIN
- * 
- * This file is part of SoCLib, GNU LGPLv2.1.
- * 
- * SoCLib is free software; you can redistribute it and/or modify it
- * under the terms of the GNU Lesser General Public License as published
- * by the Free Software Foundation; version 2.1 of the License.
- * 
- * SoCLib is distributed in the hope that it will be useful, but
- * WITHOUT ANY WARRANTY; without even the implied warranty of
- * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
- * Lesser General Public License for more details.
- * 
- * You should have received a copy of the GNU Lesser General Public
- * License along with SoCLib; if not, write to the Free Software
- * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA
- * 02110-1301 USA
- * 
- * SOCLIB_LGPL_HEADER_END
- *
- * Copyright (c) UPMC, Lip6, SoC
- *         Dimitri Refauvelet <dimitri.refauvelet@lip6.fr>, 2009
- *
- * Maintainers: dimitri.refauvelet@etu.upmc.fr
- */
-
-#define	TEXT_BASE	0x00400000
-#define	TEXT_SIZE	0x00050000
-
-#define	RESET_BASE	0xBFC00000
-#define	RESET_SIZE	0x00010000
-
-#define	EXCEP_BASE	0x80000000
-#define	EXCEP_SIZE	0x00010000
-
-#define	DATA_BASE	0x10000000
-#define	DATA_SIZE	0x00020000
-
-#define	TTY_BASE	0xC0200000
-#define	TTY_SIZE	0x00000010
-
-//#define	SIMHELPER_BASE	0xd0200000
-//#define	SIMHELPER_SIZE	0x00000010
-
-//#define MWMR_IE_BASE    0xA0200000
-//#define MWMR_IE_SIZE    0x00001000
-
-#define	LOCKS_BASE	0x30200000
-#define	LOCKS_SIZE	0x00000100
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/srl.h b/MPSoC/mutekh/examples/lastavatar-9-9/srl.h
deleted file mode 100644
index 7b9deb5a0d77f8c390696c77fbc707902a30e60e..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/srl.h
+++ /dev/null
@@ -1,13 +0,0 @@
-#ifndef SRL_H_
-#define SRL_H_
-
-#include <stdlib.h>
-#include <string.h>
-#include <assert.h>
-
-#include "srl_public_types.h"
-#include "srl_mwmr.h"
-//#include <srl_log.h>
-
-#endif
-
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/srl_mwmr.h b/MPSoC/mutekh/examples/lastavatar-9-9/srl_mwmr.h
deleted file mode 100644
index 84a5467576ebbcbb38830cedc416b9cb2eb01aa8..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/srl_mwmr.h
+++ /dev/null
@@ -1,28 +0,0 @@
-/*
- * This file is part of DSX, development environment for static
- * SoC applications.
- * 
- * This file is distributed under the terms of the GNU General Public
- * License.
- * 
- * Copyright (c) 2006, Nicolas Pouillon, <nipo@ssji.net>
- *     Laboratoire d'informatique de Paris 6 / ASIM, France
- * 
- *  $Id$
- */
-
-#ifndef SRL_MWMR_H_
-#define SRL_MWMR_H_
-
-#include "srl_public_types.h"
-
-/* Bloquant */
-void srl_mwmr_read( srl_mwmr_t, void *, size_t );
-
-void srl_mwmr_write( srl_mwmr_t, void *, size_t );
-
-/* Non bloquant */
-ssize_t srl_mwmr_try_read( srl_mwmr_t, void *, size_t );
-
-ssize_t srl_mwmr_try_write( srl_mwmr_t, void *, size_t );
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/srl_private_types.h b/MPSoC/mutekh/examples/lastavatar-9-9/srl_private_types.h
deleted file mode 100644
index 7ef1155dd13f6554f8925f8e104221eea4ec4bd3..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/srl_private_types.h
+++ /dev/null
@@ -1,138 +0,0 @@
-
-#ifndef SRL_PRIVATE_TYPES_H
-#define SRL_PRIVATE_TYPES_H
-
-#include "pthread.h"
-#include <stdint.h>
-
-#include "srl_public_types.h"
-
-#define SRL_CONST_INITIALIZER(x) x
-
-typedef pthread_mutex_t srl_lock_s;
-
-#define SRL_LOCK_INITIALIZER() PTHREAD_MUTEX_INITIALIZER
-
-typedef struct srl_mwmr_status_s srl_mwmr_status_s;
-typedef struct srl_mwmr_lock_s srl_mwmr_lock_t;
-
-struct srl_mwmr_lock_s {
-	pthread_mutex_t lock;
-	pthread_cond_t nempty;
-	pthread_cond_t nfull;
-};
-#define SRL_MWMR_LOCK_INITIALIZER {		\
-    .lock = PTHREAD_MUTEX_INITIALIZER,		\
-      .nempty = PTHREAD_COND_INITIALIZER,	\
-      .nfull = PTHREAD_COND_INITIALIZER,	\
-      }
-
-typedef struct srl_abstract_mwmr_s {
-	srl_mwmr_lock_t lock;
-	size_t width;
-	size_t depth;
-	size_t gdepth;
-	srl_buffer_t buffer;
-	const char *name;
-	struct srl_mwmr_status_s *status;
-} srl_mwmr_s;
-
-struct srl_mwmr_status_s {
-	size_t rptr;
-	size_t wptr;
-	size_t usage;
-};
-
-#define SRL_MWMR_STATUS_INITIALIZER(w,d) {	\
-    .rptr = 0,					\
-      .wptr = 0,				\
-      .usage = 0,				\
-      }
-
-#define SRL_MWMR_INITIALIZER(w, d, b, s, n, l)	\
-  {						\
-    .width = w,					\
-      .depth = d,				\
-      .gdepth = (w)*(d),			\
-      .buffer = (void*)b,			\
-      .name = n,				\
-      .status = s,				\
-      .lock = l,				\
-   }
-
-typedef struct srl_abstract_barrier_s {
-	size_t count;
-	size_t current;
-	pthread_mutex_t lock;
-	pthread_cond_t ok;
-} srl_barrier_s;
-
-#define SRL_BARRIER_INITIALIZER(c)		\
-  {						\
-    .count = c,					\
-      .current = 0,				\
-      .lock = PTHREAD_MUTEX_INITIALIZER,	\
-      .ok = PTHREAD_COND_INITIALIZER,		\
-      }
-
-#define SRL_MEMSPACE_INITIALIZER( b, s ) \
-{\
-	.buffer = b,\
-		 .size = s,\
-		 }
-
-typedef void srl_task_func_t( void* );
-typedef struct srl_abstract_task_s {
-	srl_task_func_t *bootstrap;
-	srl_task_func_t *func;
-	void *args;
-	void *stack;
-	size_t stack_size;
-	const char *name;
-	pthread_t thread;
-} srl_task_s;
-
-#define SRL_TASK_INITIALIZER(b, f, a, n, ttya, ttyn)	\
-  {								\
-    .bootstrap = (srl_task_func_t *)b,				\
-      .func = (srl_task_func_t *)f,				\
-      .args = (void*)a,						\
-      .name = n,						\
-      }
-
-#define SRL_CPUSTATE_INITIALIZER()		\
-  {						\
-    .boo = 0,					\
-      }
-
-typedef struct srl_abstract_cpudesc_s srl_cpudesc_s;
-struct srl_abstract_cpudesc_s {
-	size_t ntasks;
-	const srl_task_s *const*task_list;
-};
-
-#define SRL_CPUDESC_INITIALIZER(nt, tl, ttya, ttyn)	\
-  {							\
-    .ntasks = nt,					\
-      .task_list = tl,					\
-      }
-
-typedef struct srl_abstract_appdesc_s srl_appdesc_s;
-struct srl_abstract_appdesc_s {
-	const size_t ntasks;
-	srl_barrier_s *start;
-	const srl_mwmr_s * const *mwmr;
-	const srl_cpudesc_s * const *cpu;
-	const srl_task_s * const *task;
-};
-
-#define SRL_APPDESC_INITIALIZER(nt, cl, ml, tl, sb, ttya, ttyn) \
-  {								\
-    .ntasks = nt,						\
-      .cpu = cl,						\
-      .mwmr = ml,						\
-      .task = tl,						\
-      .start = sb,						\
-      }
-
-#endif
diff --git a/MPSoC/mutekh/examples/lastavatar-9-9/srl_public_types.h b/MPSoC/mutekh/examples/lastavatar-9-9/srl_public_types.h
deleted file mode 100644
index 272bea5c1e8668668e624c54543fff548fe9ae07..0000000000000000000000000000000000000000
--- a/MPSoC/mutekh/examples/lastavatar-9-9/srl_public_types.h
+++ /dev/null
@@ -1,32 +0,0 @@
-
-#ifndef SRL_PUBLIC_TYPES_H
-#define SRL_PUBLIC_TYPES_H
-
-#include <stdint.h>
-#if defined SRL_POSIX
-#include <sys/types.h>
-# define SRL_MWMR_USE_SEPARATE_LOCKS
-#elif defined SRL_OVER_HEXO
-#include <hexo/types.h>
-#endif
-
-typedef uint32_t srl_const_t;
-
-struct srl_abstract_lock_s;
-typedef struct srl_abstract_lock_s *srl_lock_t;
-
-typedef void *srl_buffer_t;
-
-typedef struct srl_memspace_s {
-	srl_buffer_t buffer;
-	uint32_t size;
-} srl_memspace_s;
-typedef srl_memspace_s *srl_memspace_t;
-
-struct srl_abstract_mwmr_s;
-typedef struct srl_abstract_mwmr_s *srl_mwmr_t;
-
-struct srl_abstract_barrier_s;
-typedef struct srl_abstract_barrier_s *srl_barrier_t;
-
-#endif
diff --git a/MPSoC/mutekh/examples/petit_exemple.tgz b/MPSoC/mutekh/examples/petit_exemple.tgz
deleted file mode 100644
index e80ef7f88c4b230753a96f6247fc236e0061ce9c..0000000000000000000000000000000000000000
Binary files a/MPSoC/mutekh/examples/petit_exemple.tgz and /dev/null differ