diff options
| author | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-12-02 21:06:39 +0100 |
|---|---|---|
| committer | Miquel Sabaté Solà <mikisabate@gmail.com> | 2024-12-02 21:09:54 +0100 |
| commit | 7b1b8ebb48174445083bc7fa336dc00619cbf126 (patch) | |
| tree | e2215a1230f4fc9773cffa4d7ccdb8dff7c130d2 | |
| parent | 6132623dbf3076da11cdb85c494fadd7ee0f0a93 (diff) | |
| download | fbos-7b1b8ebb48174445083bc7fa336dc00619cbf126.tar.gz fbos-7b1b8ebb48174445083bc7fa336dc00619cbf126.zip | |
Don't repeat the task name when printing the model
When printing the initial model message on DEBUG it repeated the "init"
message twice. Avoid that by directly using 'write' on some of the
calls.
Fixes: 32e880127366 ("Prepend the name of the task on debug")
Signed-off-by: Miquel Sabaté Solà <mikisabate@gmail.com>
| -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 |