diff options
| -rw-r--r-- | include/fbos/printk.h | 1 | ||||
| -rw-r--r-- | kernel/main.c | 5 |
2 files changed, 4 insertions, 2 deletions
diff --git a/include/fbos/printk.h b/include/fbos/printk.h index d5f4804..e68d1eb 100644 --- a/include/fbos/printk.h +++ b/include/fbos/printk.h @@ -11,6 +11,7 @@ #ifdef __KERNEL__ extern void die(const char *const message); extern void printk(const char *const message); +extern void write(const char *const message, size_t n); extern void sys_write(const char *const message, size_t n); #else #include <stdio.h> diff --git a/kernel/main.c b/kernel/main.c index 19220f6..3d2b524 100644 --- a/kernel/main.c +++ b/kernel/main.c @@ -2,6 +2,7 @@ #include <fbos/printk.h> #include <fbos/mm.h> #include <fbos/sched.h> +#include <fbos/string.h> #include <fbos/dt.h> // Stack to be used by our processes. "Blasphemy!" I hear you say. "How dare you @@ -46,8 +47,8 @@ __noreturn __kernel void start_kernel(void *dtb) // If we were able to fetch the model, print it now. if (info.model[0] != '\0') { printk("Running on: "); - printk(info.model); - printk("\n"); + write(info.model, strlen(info.model)); + write("\n", 1); } // At this point everything has already been handled: setup the interrupt |