diff options
Diffstat (limited to 'kernel')
| -rw-r--r-- | kernel/main.c | 5 |
1 files changed, 3 insertions, 2 deletions
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 |