diff --git a/configs/same70-xplained/nsh/defconfig b/configs/same70-xplained/nsh/defconfig
index 47f73f0c14f..6b0c0af14ba 100644
--- a/configs/same70-xplained/nsh/defconfig
+++ b/configs/same70-xplained/nsh/defconfig
@@ -551,6 +551,7 @@ CONFIG_MTD_CONFIG_ERASEDVALUE=0xff
 #
 # CONFIG_MTD_NAND is not set
 # CONFIG_RAMMTD is not set
+# CONFIG_FILEMTD is not set
 CONFIG_MTD_AT24XX=y
 # CONFIG_AT24XX_MULTI is not set
 CONFIG_AT24XX_SIZE=2
@@ -613,7 +614,6 @@ CONFIG_STANDARD_SERIAL=y
 # CONFIG_SERIAL_DMA is not set
 CONFIG_ARCH_HAVE_SERIAL_TERMIOS=y
 CONFIG_USART1_SERIAL_CONSOLE=y
-# CONFIG_UART3_SERIAL_CONSOLE is not set
 # CONFIG_OTHER_SERIAL_CONSOLE is not set
 # CONFIG_NO_SERIAL_CONSOLE is not set
 
@@ -845,6 +845,10 @@ CONFIG_EXAMPLES_NSH=y
 # CONFIG_EXAMPLES_USBTERM is not set
 # CONFIG_EXAMPLES_WATCHDOG is not set
 
+#
+# File System Utilities
+#
+
 #
 # Graphics Support
 #
@@ -895,14 +899,16 @@ CONFIG_NSH_BUILTIN_APPS=y
 # Disable Individual commands
 #
 # CONFIG_NSH_DISABLE_ADDROUTE is not set
+# CONFIG_NSH_DISABLE_BASENAME is not set
 # CONFIG_NSH_DISABLE_CAT is not set
 # CONFIG_NSH_DISABLE_CD is not set
 # CONFIG_NSH_DISABLE_CP is not set
 # CONFIG_NSH_DISABLE_CMP is not set
-CONFIG_NSH_DISABLE_DATE=y
+# CONFIG_NSH_DISABLE_DATE is not set
 # CONFIG_NSH_DISABLE_DD is not set
 # CONFIG_NSH_DISABLE_DF is not set
 # CONFIG_NSH_DISABLE_DELROUTE is not set
+# CONFIG_NSH_DISABLE_DIRNAME is not set
 # CONFIG_NSH_DISABLE_ECHO is not set
 # CONFIG_NSH_DISABLE_EXEC is not set
 # CONFIG_NSH_DISABLE_EXIT is not set
@@ -911,8 +917,10 @@ CONFIG_NSH_DISABLE_DATE=y
 # CONFIG_NSH_DISABLE_HELP is not set
 # CONFIG_NSH_DISABLE_HEXDUMP is not set
 # CONFIG_NSH_DISABLE_IFCONFIG is not set
+# CONFIG_NSH_DISABLE_IFUPDOWN is not set
 # CONFIG_NSH_DISABLE_KILL is not set
 # CONFIG_NSH_DISABLE_LOSETUP is not set
+CONFIG_NSH_DISABLE_LOSMART=y
 # CONFIG_NSH_DISABLE_LS is not set
 # CONFIG_NSH_DISABLE_MB is not set
 # CONFIG_NSH_DISABLE_MKDIR is not set
@@ -987,6 +995,7 @@ CONFIG_I2CTOOL_MAXADDR=0x77
 CONFIG_I2CTOOL_MAXREGADDR=0xff
 CONFIG_I2CTOOL_DEFFREQ=400000
 # CONFIG_SYSTEM_INIFILE is not set
+# CONFIG_SYSTEM_HEXED is not set
 CONFIG_SYSTEM_RAMTEST=y
 CONFIG_READLINE_HAVE_EXTMATCH=y
 CONFIG_SYSTEM_READLINE=y
diff --git a/configs/same70-xplained/src/sam_bringup.c b/configs/same70-xplained/src/sam_bringup.c
index b4b7dd2050d..9d1d1c99fe7 100644
--- a/configs/same70-xplained/src/sam_bringup.c
+++ b/configs/same70-xplained/src/sam_bringup.c
@@ -115,6 +115,17 @@ int sam_bringup(void)
     }
 #endif
 
+#ifdef CONFIG_FS_PROCFS
+  /* Mount the procfs file system */
+
+  ret = mount(NULL, SAME70_PROCFS_MOUNTPOINT, "procfs", 0, NULL);
+  if (ret < 0)
+    {
+      SYSLOG("ERROR: Failed to mount procfs at %s: %d\n",
+             SAME70_PROCFS_MOUNTPOINT, ret);
+    }
+#endif
+
 #ifdef HAVE_MTDCONFIG
   /* Create an AT24xx-based MTD configuration device for storage device
    * configuration information.
diff --git a/configs/same70-xplained/src/same70-xplained.h b/configs/same70-xplained/src/same70-xplained.h
index cffe2159ec8..3072efd8742 100644
--- a/configs/same70-xplained/src/same70-xplained.h
+++ b/configs/same70-xplained/src/same70-xplained.h
@@ -190,6 +190,16 @@
 
 #define PROGMEM_MTD_MINOR 0
 
+/* procfs File System */
+
+#ifdef CONFIG_FS_PROCFS
+#  ifdef CONFIG_NSH_PROC_MOUNTPOINT
+#    define SAME70_PROCFS_MOUNTPOINT CONFIG_NSH_PROC_MOUNTPOINT
+#  else
+#    define SAME70_PROCFS_MOUNTPOINT "/proc"
+#  endif
+#endif
+
 /* SAME70-XPLD GPIO Pin Definitions *************************************************/
 
 /* Ethernet MAC.
diff --git a/configs/samv71-xult/README.txt b/configs/samv71-xult/README.txt
index 530383fae6e..ca946c46db3 100644
--- a/configs/samv71-xult/README.txt
+++ b/configs/samv71-xult/README.txt
@@ -937,6 +937,11 @@ settings:
     CONFIG_SAMV7_USBHS_NDTDS=32               : Number of DMA transfer descriptors
     CONFIG_SAMV7_USBHS_PREALLOCATE=y          : Pre-allocate descriptors
 
+As noted above, this driver will not work correctly if the write back
+data cache is enable:
+
+    CONFIG_ARMV7M_DCACHE_WRITETHROUGH=n
+
 In order to be usable, you must all enabled some class driver(s) for the
 USBHS device controller.  Here, for example, is how to configure the CDC/ACM
 serial device class: