diff --git a/boards/arm/mps/mps3-an547/configs/nsh/defconfig b/boards/arm/mps/mps3-an547/configs/nsh/defconfig
index 63f915480bd..a98c6e92a27 100644
--- a/boards/arm/mps/mps3-an547/configs/nsh/defconfig
+++ b/boards/arm/mps/mps3-an547/configs/nsh/defconfig
@@ -5,6 +5,7 @@
 # You can then do "make savedefconfig" to generate a new defconfig file that includes your
 # modifications.
 #
+# CONFIG_DEBUG_WARN is not set
 CONFIG_ARCH="arm"
 CONFIG_ARCH_BOARD="mps3-an547"
 CONFIG_ARCH_BOARD_MPS3_AN547=y
@@ -12,6 +13,7 @@ CONFIG_ARCH_CHIP="mps"
 CONFIG_ARCH_CHIP_MPS3_AN547=y
 CONFIG_ARCH_CHIP_MPS=y
 CONFIG_ARCH_INTERRUPTSTACK=2048
+CONFIG_ARCH_STACKDUMP=y
 CONFIG_ARMV8M_SYSTICK=y
 CONFIG_BUILTIN=y
 CONFIG_CMSDK_UART0=y
@@ -26,8 +28,6 @@ CONFIG_DEBUG_ASSERTIONS=y
 CONFIG_DEBUG_FEATURES=y
 CONFIG_DEBUG_SCHED=y
 CONFIG_DEBUG_SCHED_ERROR=y
-CONFIG_DEBUG_SCHED_INFO=y
-CONFIG_DEBUG_SCHED_WARN=y
 CONFIG_DEBUG_SYMBOLS=y
 CONFIG_DEFAULT_TASK_STACKSIZE=4096
 CONFIG_DEV_ZERO=y
diff --git a/boards/arm/mps/mps3-an547/src/Makefile b/boards/arm/mps/mps3-an547/src/Makefile
index 59ae8876b5d..c137aed2dda 100644
--- a/boards/arm/mps/mps3-an547/src/Makefile
+++ b/boards/arm/mps/mps3-an547/src/Makefile
@@ -20,6 +20,6 @@
 
 include $(TOPDIR)/Make.defs
 
-CSRCS = mps3_bringup.c
+CSRCS = mps3_bringup.c mps3_reset.c
 
 include $(TOPDIR)/boards/Board.mk
diff --git a/boards/arm/mps/mps3-an547/src/mps3_reset.c b/boards/arm/mps/mps3-an547/src/mps3_reset.c
new file mode 100644
index 00000000000..5b6bb37118d
--- /dev/null
+++ b/boards/arm/mps/mps3-an547/src/mps3_reset.c
@@ -0,0 +1,62 @@
+/****************************************************************************
+ * boards/arm/mps/mps3-an547/src/mps3_reset.c
+ *
+ * Licensed to the Apache Software Foundation (ASF) under one or more
+ * contributor license agreements.  See the NOTICE file distributed with
+ * this work for additional information regarding copyright ownership.  The
+ * ASF licenses this file to you under the Apache License, Version 2.0 (the
+ * "License"); you may not use this file except in compliance with the
+ * License.  You may obtain a copy of the License at
+ *
+ *   http://www.apache.org/licenses/LICENSE-2.0
+ *
+ * Unless required by applicable law or agreed to in writing, software
+ * distributed under the License is distributed on an "AS IS" BASIS, WITHOUT
+ * WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.  See the
+ * License for the specific language governing permissions and limitations
+ * under the License.
+ *
+ ****************************************************************************/
+
+/****************************************************************************
+ * Included Files
+ ****************************************************************************/
+
+#include <nuttx/config.h>
+
+#include <nuttx/arch.h>
+#include <nuttx/board.h>
+
+#ifdef CONFIG_BOARDCTL_RESET
+
+/****************************************************************************
+ * Public Functions
+ ****************************************************************************/
+
+/****************************************************************************
+ * Name: board_reset
+ *
+ * Description:
+ *   Reset board.  Support for this function is required by board-level
+ *   logic if CONFIG_BOARDCTL_RESET is selected.
+ *
+ * Input Parameters:
+ *   status - Status information provided with the reset event.  This
+ *            meaning of this status information is board-specific.  If not
+ *            used by a board, the value zero may be provided in calls to
+ *            board_reset().
+ *
+ * Returned Value:
+ *   If this function returns, then it was not possible to power-off the
+ *   board due to some constraints.  The return value int this case is a
+ *   board-specific reason for the failure to shutdown.
+ *
+ ****************************************************************************/
+
+int board_reset(int status)
+{
+  up_systemreset();
+  return 0;
+}
+
+#endif /* CONFIG_BOARDCTL_RESET */