From 55a325bcd48b9b7a879319e01bc34fd3be9955c5 Mon Sep 17 00:00:00 2001
From: Gregory Nutt <gnutt@nuttx.org>
Date: Thu, 25 Aug 2016 12:36:19 -0600
Subject: [PATCH] system() is not available from within the OS

---
 include/stdlib.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/include/stdlib.h b/include/stdlib.h
index 02dfed909ef..4b112da3684 100644
--- a/include/stdlib.h
+++ b/include/stdlib.h
@@ -173,10 +173,12 @@ void      _exit(int status); /* See unistd.h */
 /* System() command is not implemented in the NuttX libc because it is so
  * entangled with shell logic.  There is an experimental version at
  * apps/system/system.  system() is prototyped here, however, for
- * compatibility.
+ * standards compatibility.
  */
 
+#ifndef __KERNEL__
 int       system(FAR char *cmd);
+#endif
 
 /* String to binary conversions */