diff --git a/configs/flipnclick-pic32mz/nsh/defconfig b/configs/flipnclick-pic32mz/nsh/defconfig
index 93cfe3849c6..0533b276c71 100644
--- a/configs/flipnclick-pic32mz/nsh/defconfig
+++ b/configs/flipnclick-pic32mz/nsh/defconfig
@@ -1,6 +1,4 @@
 # CONFIG_ARCH_RAMFUNCS is not set
-# CONFIG_NSH_DISABLE_IFCONFIG is not set
-# CONFIG_NSH_DISABLE_PS is not set
 CONFIG_ARCH_BOARD_FLIPNCLICK_PIC32MZ=y
 CONFIG_ARCH_BOARD="flipnclick-pic32mz"
 CONFIG_ARCH_CHIP_PIC32MZ=y
@@ -11,11 +9,11 @@ CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARCH="mips"
 CONFIG_BOARD_LOOPSPERMSEC=7245
 CONFIG_BUILTIN=y
-CONFIG_DISABLE_POLL=y
 CONFIG_EXAMPLES_NSH=y
 CONFIG_FAT_LCNAMES=y
 CONFIG_FAT_LFN=y
 CONFIG_FS_FAT=y
+CONFIG_FS_PROCFS=y
 CONFIG_HOST_WINDOWS=y
 CONFIG_IDLETHREAD_STACKSIZE=2048
 CONFIG_INTELHEX_BINARY=y
@@ -29,6 +27,7 @@ CONFIG_NFILE_DESCRIPTORS=8
 CONFIG_NFILE_STREAMS=8
 CONFIG_NSH_ARCHINIT=y
 CONFIG_NSH_BUILTIN_APPS=y
+CONFIG_NSH_DISABLE_IFUPDOWN=y
 CONFIG_NSH_FILEIOSIZE=512
 CONFIG_NSH_LINELEN=64
 CONFIG_NSH_READLINE=y
@@ -45,7 +44,6 @@ CONFIG_SDCLONE_DISABLE=y
 CONFIG_START_DAY=7
 CONFIG_START_MONTH=3
 CONFIG_START_YEAR=2012
-CONFIG_TASK_NAME_SIZE=0
 CONFIG_UART4_SERIAL_CONSOLE=y
 CONFIG_USER_ENTRYPOINT="nsh_main"
 CONFIG_WDOG_INTRESERVE=1
diff --git a/configs/flipnclick-pic32mz/src/pic32mz_bringup.c b/configs/flipnclick-pic32mz/src/pic32mz_bringup.c
index 3ce4337fe40..68247177b33 100644
--- a/configs/flipnclick-pic32mz/src/pic32mz_bringup.c
+++ b/configs/flipnclick-pic32mz/src/pic32mz_bringup.c
@@ -40,6 +40,8 @@
 #include <nuttx/config.h>
 
 #include <sys/types.h>
+#include <sys/mount.h>
+#include <syslog.h>
 
 #include "flipnclick-pic32mz.h"
 
@@ -59,6 +61,17 @@ int pic32mz_bringup(void)
 {
   int ret;
 
+#ifdef CONFIG_FS_PROCFS
+  /* Mount the procfs file system */
+
+  ret = mount(NULL, "/proc", "procfs", 0, NULL);
+  if (ret < 0)
+    {
+      syslog(LOG_ERR,"ERROR: Failed to mount procfs at /proc: %d\n",
+            ret);
+    }
+#endif
+
   UNUSED(ret);
   return OK;
 }
diff --git a/configs/flipnclick-sam3x/nsh/defconfig b/configs/flipnclick-sam3x/nsh/defconfig
index 68e1421dc1c..545918a2cf3 100644
--- a/configs/flipnclick-sam3x/nsh/defconfig
+++ b/configs/flipnclick-sam3x/nsh/defconfig
@@ -38,7 +38,7 @@ CONFIG_SDCLONE_DISABLE=y
 CONFIG_START_DAY=28
 CONFIG_START_MONTH=6
 CONFIG_START_YEAR=2013
-CONFIG_TASK_NAME_SIZE=32
+CONFIG_TASK_NAME_SIZE=31
 CONFIG_USART0_SERIAL_CONSOLE=y
 CONFIG_USER_ENTRYPOINT="nsh_main"
 CONFIG_WDOG_INTRESERVE=0