From 542eb1f99b6bbfc024c80041ecbb3c108c9a875c Mon Sep 17 00:00:00 2001 From: Ian Moffett Date: Sun, 21 Dec 2025 18:18:02 -0500 Subject: mos: kern: Add boot header to serial log Signed-off-by: Ian Moffett --- mos/sys/kern/kern_init.c | 12 ++++++++++++ 1 file changed, 12 insertions(+) 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 #include +#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(); } -- cgit v1.2.3