diff --git a/IDE/ECLIPSE/DEOS/deos_malloc.c b/IDE/ECLIPSE/DEOS/deos_malloc.c
index cd95b85c5..24d19a0b0 100644
--- a/IDE/ECLIPSE/DEOS/deos_malloc.c
+++ b/IDE/ECLIPSE/DEOS/deos_malloc.c
@@ -33,11 +33,15 @@ size_t getMemAllocatedSize_deos(size_t* size){
     return allocatedMemory;
 }
 
+/* Simply returns without freeing any memory. */
+
 void free_deos(void *ptr) {
     //printf("fake free_deos()\n");
     return;
 }
 
+/* The caller of this function is responsible for copying the old data into new buffer */
+
 void *realloc_deos(void *ptr, size_t size) {
     void *newptr;
 
diff --git a/IDE/include.am b/IDE/include.am
index 1587d0bcf..ef3770f48 100644
--- a/IDE/include.am
+++ b/IDE/include.am
@@ -16,6 +16,8 @@ include IDE/OPENSTM32/include.am
 include IDE/VS-ARM/include.am
 include IDE/GCC-ARM/include.am
 include IDE/CSBENCH/include.am
+include IDE/ECLIPSE/DEOS/include.am
+include IDE/ECLIPSE/MICRIUM/include.am
 include IDE/mynewt/include.am
 include IDE/Renesas/cs+/Projects/include.am
 include IDE/Renesas/e2studio/Projects/include.am