From 3151e9af9cc5d7e52c3ef8b6c121784962c9769a Mon Sep 17 00:00:00 2001
From: Hugo Villeneuve <hugo@hugovil.com>
Date: Fri, 20 Sep 2024 09:24:47 -0400
Subject: [PATCH] hvk: display name of board in init script

---
 scripts/hvk-init.sh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/scripts/hvk-init.sh b/scripts/hvk-init.sh
index d9e5aca..bd189af 100755
--- a/scripts/hvk-init.sh
+++ b/scripts/hvk-init.sh
@@ -17,6 +17,8 @@ if [ x"${DEFCONFIG_AUTOGEN}" != x"" ]; then
     fi
 fi
 
+echo "Board init: ${DEFCONFIG_BOARD}"
+
 ${KMAKE} ${DEFCONFIG_OPT}
 
 if [ x"${1}" = x"yocto" ]; then
-- 
2.20.1