From 0041476a0f804db9266c54b8ce62a585e7b30890 Mon Sep 17 00:00:00 2001
From: Robin Krahl <robin.krahl@ireas.org>
Date: Mon, 6 Mar 2017 01:54:55 +0100
Subject: kernel: add debug function ker_dbg

ker_dbg writes a string to the terminal.  In future, it might also write
to a text file, to the serial console or other channels.
---
 core/kernel.c | 8 ++++++++
 1 file changed, 8 insertions(+)

(limited to 'core')

diff --git a/core/kernel.c b/core/kernel.c
index 586fe20..c159aef 100644
--- a/core/kernel.c
+++ b/core/kernel.c
@@ -13,9 +13,17 @@
  */
 
 #include <garmos/gdt.h>
+#include <garmos/kernel.h>
 #include <garmos/term.h>
 #include <garmos/types.h>
 
+
+void ker_dbg(char *s)
+{
+	term_print(s);
+	term_print("\n");
+}
+
 void kernel_main(uint32_t multiboot, unsigned int *magicno)
 {
 	gdt_init();
-- 
cgit v1.2.3