diff options
| -rw-r--r-- | mos/sys/kern/kern_init.c | 12 |
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(); } |