From 03d0270066954c363a72018e225576856b471c0e Mon Sep 17 00:00:00 2001 From: Daniel Rossier Date: Fri, 17 Jul 2026 12:43:24 +0200 Subject: [PATCH] so3: state the architecture in the boot banner MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Version 6.2.3 becomes Version 6.2.3 (arm64) The same platform can be built either way, and on a Raspberry Pi 4 the 32- and the 64-bit chains differ only by which kernel*.img the firmware picks up — so nothing on the console told you which one had actually booted. Print CONFIG_ARCH, the string Kconfig already defines, so this needs no maintenance when an architecture is added. --- so3/so3/include/banner.h | 11 +++++++++-- 1 file changed, 9 insertions(+), 2 deletions(-) diff --git a/so3/so3/include/banner.h b/so3/so3/include/banner.h index 7cb09bb1b6..18aab21967 100644 --- a/so3/so3/include/banner.h +++ b/so3/so3/include/banner.h @@ -3,9 +3,16 @@ #include +/* + * CONFIG_ARCH ("arm32", "arm64", ...) is spelled out in the banner because the + * same platform can be built either way — on a Raspberry Pi 4 in particular, + * where a 32- and a 64-bit chain differ only by which kernel*.img the firmware + * picks up, there is otherwise no way to tell from the console which one + * actually booted. + */ #define SO3_BANNER \ "\n\n********** Smart Object Oriented SO3 Operating System **********\n\ Copyright (c) 2014-2026 REDS Institute, HEIG-VD, Yverdon\n\ -Version " SO3_KERNEL_VERSION "\n\n" +Version " SO3_KERNEL_VERSION " (" CONFIG_ARCH ")\n\n" -#endif /* BENNER_H */ +#endif /* BANNER_H */