diff --git a/configs/stm32f429i-disco/ltdc/defconfig b/configs/stm32f429i-disco/ltdc/defconfig
index 48c3042035c..cb4f888221a 100644
--- a/configs/stm32f429i-disco/ltdc/defconfig
+++ b/configs/stm32f429i-disco/ltdc/defconfig
@@ -742,6 +742,7 @@ CONFIG_FS_MQUEUE_MPATH="/var/mqueue"
 # CONFIG_FS_SMARTFS is not set
 # CONFIG_FS_BINFS is not set
 CONFIG_FS_PROCFS=y
+CONFIG_FS_PROCFS_REGISTER=y
 
 #
 # System Logging
diff --git a/configs/stm32f746g-disco/src/stm32_appinitialize.c b/configs/stm32f746g-disco/src/stm32_appinitialize.c
index 5ec18df1c59..1ea76548960 100644
--- a/configs/stm32f746g-disco/src/stm32_appinitialize.c
+++ b/configs/stm32f746g-disco/src/stm32_appinitialize.c
@@ -39,6 +39,7 @@
 
 #include <nuttx/config.h>
 
+#include "stm32_ccm.h"
 #include "stm32f746g-disco.h"
 
 /****************************************************************************
@@ -61,5 +62,24 @@
 
 int board_app_initialize(void)
 {
+#ifdef CONFIG_FS_PROCFS
+  int ret;
+
+  /* Mount the procfs file system */
+
+  ret = mount(NULL, SAMV71_PROCFS_MOUNTPOINT, "procfs", 0, NULL);
+  if (ret < 0)
+    {
+      SYSLOG("ERROR: Failed to mount procfs at %s: %d\n",
+             SAMV71_PROCFS_MOUNTPOINT, ret);
+    }
+
+#ifdef CONFIG_STM32_CCM_PROCFS
+  /* Register the CCM procfs entry */
+
+  (void)ccm_procfs_register();
+#endif
+#endif
+
   return OK;
 }
diff --git a/configs/stm32f746g-disco/src/stm32f746g-disco.h b/configs/stm32f746g-disco/src/stm32f746g-disco.h
index 00df20d619c..ca4ca33cfc1 100644
--- a/configs/stm32f746g-disco/src/stm32f746g-disco.h
+++ b/configs/stm32f746g-disco/src/stm32f746g-disco.h
@@ -47,6 +47,16 @@
 /****************************************************************************************************
  * Pre-processor Definitions
  ****************************************************************************************************/
+/* procfs File System */
+
+#ifdef CONFIG_FS_PROCFS
+#  ifdef CONFIG_NSH_PROC_MOUNTPOINT
+#    define STM32_PROCFS_MOUNTPOINT CONFIG_NSH_PROC_MOUNTPOINT
+#  else
+#    define STM32_PROCFS_MOUNTPOINT "/proc"
+#  endif
+#endif
+
 /* STM32F736G Discovery GPIOs ***********************************************************************/
 /* The STM32F746G-DISCO board has numerous LEDs but only one, LD1 located near the reset button, that
  * can be controlled by software (LD2 is a power indicator, LD3-6 indicate USB status, LD7 is