From b92e2ca0cdf79de862f4b5c4442220b29c7d7868 Mon Sep 17 00:00:00 2001
From: David Garske <david@wolfssl.com>
Date: Wed, 14 Jan 2026 09:45:58 -0800
Subject: [PATCH] Added `WOLFBOOT_REPRODUCIBLE_BUILD`.

---
 hal/mpfs250.c                      | 6 ++++++
 hal/s32k1xx.c                      | 6 +++++-
 tools/scripts/nxp-s32k142-flash.sh | 2 +-
 3 files changed, 12 insertions(+), 2 deletions(-)

diff --git a/hal/mpfs250.c b/hal/mpfs250.c
index 2137cebf..7e68f361 100644
--- a/hal/mpfs250.c
+++ b/hal/mpfs250.c
@@ -52,8 +52,14 @@
 
 void hal_init(void)
 {
+#if defined(DEBUG_UART) && defined(__WOLFBOOT)
+#ifdef WOLFBOOT_REPRODUCIBLE_BUILD
+    wolfBoot_printf("wolfBoot Version: %s\n", LIBWOLFBOOT_VERSION_STRING);
+#else
     wolfBoot_printf("wolfBoot Version: %s (%s %s)\n",
         LIBWOLFBOOT_VERSION_STRING,__DATE__, __TIME__);
+#endif
+#endif
 }
 
 /* ============================================================================
diff --git a/hal/s32k1xx.c b/hal/s32k1xx.c
index 6494012d..576438c1 100644
--- a/hal/s32k1xx.c
+++ b/hal/s32k1xx.c
@@ -456,8 +456,12 @@ void hal_init(void)
     uart_init();
 
 #ifdef __WOLFBOOT
+#ifdef WOLFBOOT_REPRODUCIBLE_BUILD
+    wolfBoot_printf("wolfBoot Version: %s\n", LIBWOLFBOOT_VERSION_STRING);
+#else
     wolfBoot_printf("wolfBoot Version: %s (%s %s)\n",
-        LIBWOLFBOOT_VERSION_STRING, __DATE__, __TIME__);
+        LIBWOLFBOOT_VERSION_STRING,__DATE__, __TIME__);
+#endif
 #endif
 #endif
 
diff --git a/tools/scripts/nxp-s32k142-flash.sh b/tools/scripts/nxp-s32k142-flash.sh
index 7c82af3d..0b49843a 100755
--- a/tools/scripts/nxp-s32k142-flash.sh
+++ b/tools/scripts/nxp-s32k142-flash.sh
@@ -15,7 +15,7 @@ set -e
 # Configuration
 CONFIG_FILE="./config/examples/nxp-s32k142.config"
 MOUNT_PATH="/media/davidgarske/S32K142EVB"
-UART_DEV="/dev/ttyACM1"
+UART_DEV="/dev/ttyACM0"
 UART_BAUD=115200
 SREC_FILE="factory.srec"
 UART_TIMEOUT=5  # Default 5 seconds capture