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: 32e8801 ("Prepend the name of the task on debug") Signed-off-by: Miquel Sabaté Solà <[email protected]>
mssola · Dec 2, 2024 · 7b1b8eb · 7b1b8eb
1 parent 6132623
commit 7b1b8eb
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git 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
@@ -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