mos: kern: Add boot header to serial log

Signed-off-by: Ian Moffett <ian@osmora.org>

1 files changed, 12 insertions, 0 deletions

diff --git a/mos/sys/kern/kern_init.c b/mos/sys/kern/kern_init.c
index 80bfd28..1c68491 100644
--- a/mos/sys/kern/kern_init.c
+++ b/mos/sys/kern/kern_init.c
@@ -3,8 +3,17 @@
  * Provided under the BSD-3 clause.
  */
 
+#include <kern/trace.h>
 #include <mu/uart.h>
 
+#define write_boot_header()                     \
+    trace_raw(                                  \
+        "=========  M  /  O  S  ========\n"     \
+        "Copyright (c) 2025, Ian Moffett\n"     \
+        "===============================\n"     \
+        "[ booting m/os ... ]"                  \
+    );
+
 /* Forward declaration */
 void kern_main(void);
 
@@ -13,4 +22,7 @@ kern_main(void)
 {
     /* Initialize platform UARTs */
     mu_uart_init();
+
+    /* Write the boot header */
+    write_boot_header();
 }