1 files changed, 13 insertions, 0 deletions
diff --git a/src/soc/amd/picasso/psp_verstage/reset.c b/src/soc/amd/picasso/psp_verstage/reset.c
new file mode 100644
index 0000000000..5619e457ae
--- /dev/null
+++ b/src/soc/amd/picasso/psp_verstage/reset.c
@@ -0,0 +1,13 @@
+/* SPDX-License-Identifier: GPL-2.0-only */
+
+#include <bl_uapp/bl_syscall_public.h>
+#include <console/console.h>
+#include <reset.h>
+#include <stdint.h>
+
+
+void do_board_reset(void)
+{
+	printk(BIOS_ERR, "Resetting the board now.\n");
+	svc_reset_system(RESET_TYPE_COLD);
+}