diff --git a/MPSoC/generated_topcell/config_noproc b/MPSoC/generated_topcell/config_noproc
index dced2dbb79b80800c5ddb1851879fdb519c7cc2b..41ed52bc721521e14270a2dce5090ccab3c3e0dd 100644
--- a/MPSoC/generated_topcell/config_noproc
+++ b/MPSoC/generated_topcell/config_noproc
@@ -9,42 +9,28 @@
   CONFIG_LICENSE_APP_LGPL
 
 # Libs
-#DG enleve 8.9. remis
   CONFIG_PTHREAD
   CONFIG_PTHREAD_MAIN
   CONFIG_PTHREAD_TIME
 
-#DG 20.06.
-#CONFIG_SRL_SOCLIB
-#CONFIG_SRL
-
-#ajoute DG
-#DG enleve 8.9.
-CONFIG_PTHREAD_ATTRIBUTES
-#ajoute DG
+  CONFIG_PTHREAD_ATTRIBUTES
 
   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
-#DG 20.06.
-#CONFIG_MWMR_USE_RAMLOCKS
-#fin ajoute DG
+  CONFIG_MWMR
+  CONFIG_MWMR_SOCLIB
   CONFIG_MUTEK_SCHEDULER_STATIC
 
 %include $(SRC_DIR)/examples/common/build_options.conf
 %include $(SRC_DIR)/examples/common/platforms.conf
 
-  # inter-processor interrupts
+# inter-processor interrupts
   CONFIG_HEXO_IPI
-#  CONFIG_ARCH_SMP undefined
-CONFIG_ARCH_SMP
-# number of processors derived from SysML design
-# CONFIG_CPU_MAXCOUNT 5
+
+  CONFIG_ARCH_SMP