diff --git a/boards/arm/mps/mps2-an500/src/mps2_bringup.c b/boards/arm/mps/mps2-an500/src/mps2_bringup.c
index f6bf0b2ab0..48b088bcd5 100644
--- a/boards/arm/mps/mps2-an500/src/mps2_bringup.c
+++ b/boards/arm/mps/mps2-an500/src/mps2_bringup.c
@@ -61,6 +61,16 @@ static int mps2_bringup(void)
 
 #endif
 
+#ifdef CONFIG_FS_TMPFS
+  /* Mount the tmp file system */
+
+  ret = nx_mount(NULL, CONFIG_LIBC_TMPDIR, "tmpfs", 0, NULL);
+  if (ret < 0)
+    {
+      syslog(LOG_ERR, "ERROR: Failed to mount tmpfs at /tmp: %d\n", ret);
+    }
+#endif
+
   return ret;
 }
 
diff --git a/boards/arm/mps/mps2-an521/src/mps2_bringup.c b/boards/arm/mps/mps2-an521/src/mps2_bringup.c
index c253e236d8..3bf128107f 100644
--- a/boards/arm/mps/mps2-an521/src/mps2_bringup.c
+++ b/boards/arm/mps/mps2-an521/src/mps2_bringup.c
@@ -61,6 +61,16 @@ static int mps2_bringup(void)
 
 #endif
 
+#ifdef CONFIG_FS_TMPFS
+  /* Mount the tmp file system */
+
+  ret = nx_mount(NULL, CONFIG_LIBC_TMPDIR, "tmpfs", 0, NULL);
+  if (ret < 0)
+    {
+      syslog(LOG_ERR, "ERROR: Failed to mount tmpfs at /tmp: %d\n", ret);
+    }
+#endif
+
   return ret;
 }
 
diff --git a/boards/arm/mps/mps3-an547/src/mps3_bringup.c b/boards/arm/mps/mps3-an547/src/mps3_bringup.c
index 95f975c6fb..7327a9f934 100644
--- a/boards/arm/mps/mps3-an547/src/mps3_bringup.c
+++ b/boards/arm/mps/mps3-an547/src/mps3_bringup.c
@@ -61,6 +61,16 @@ static int mps3_bringup(void)
 
 #endif
 
+#ifdef CONFIG_FS_TMPFS
+  /* Mount the tmp file system */
+
+  ret = nx_mount(NULL, CONFIG_LIBC_TMPDIR, "tmpfs", 0, NULL);
+  if (ret < 0)
+    {
+      syslog(LOG_ERR, "ERROR: Failed to mount tmpfs at /tmp: %d\n", ret);
+    }
+#endif
+
   return ret;
 }