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.

1 files changed, 8 insertions, 0 deletions

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();