feat: integrate gdb support over serial port for bare-metal debugging.

[lunaix-os.git] / lunaix-os / kernel / spike.c

diff --git a/lunaix-os/kernel/spike.c b/lunaix-os/kernel/spike.c
index 5aa0137421a7e5249aa4b51e8c5ea1d1a69ef044..860b201d8f2b6542b0990f34f0500a3478e64812 100644 (file)
--- a/lunaix-os/kernel/spike.c
+++ b/lunaix-os/kernel/spike.c
@@ -7,7 +7,7 @@ static char buffer[1024];
 void
 __assert_fail(const char* expr, const char* file, unsigned int line)
 {
-    sprintf(buffer, "%s (%s:%u)", expr, file, line);
+    ksprintf(buffer, "%s (%s:%u)", expr, file, line);
 
     // Here we load the buffer's address into %edi ("D" constraint)
     //  This is a convention we made that the LUNAIX_SYS_PANIC syscall will
@@ -24,3 +24,15 @@ panick(const char* msg)
     asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(msg));
     spin();
 }
+
+void
+panickf(const char* fmt, ...)
+{
+    va_list args;
+    va_start(args, fmt);
+    __ksprintf_internal(buffer, fmt, 1024, args);
+    va_end(args);
+
+    asm("int %0" ::"i"(LUNAIX_SYS_PANIC), "D"(buffer));
+    spin();
+}