Move memory manager into user space

git-svn-id: svn://svn.code.sf.net/p/nuttx/code/trunk@3460 42af7a65-404d-4744-a932-0658087f49c3

1 files changed, 2 insertions, 3 deletions

diff --git a/nuttx/sched/sched_garbage.c b/nuttx/sched/sched_garbage.c
index 7c9f434a1..946198ede 100755
--- a/nuttx/sched/sched_garbage.c
+++ b/nuttx/sched/sched_garbage.c
@@ -38,8 +38,7 @@
  ****************************************************************************/
 
 #include <nuttx/config.h>
-
-#include <stdlib.h>
+#include <nuttx/kmalloc.h>
 
 #include "os_internal.h"
 
@@ -111,7 +110,7 @@ void sched_garbagecollection(void)
 
       if (address)
         {
-          free(address);
+          kfree(address);
         }
     }
 }