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.

2 files changed, 28 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();
diff --git a/include/garmos/kernel.h b/include/garmos/kernel.h
new file mode 100644
index 0000000..947d0e5
--- /dev/null
+++ b/include/garmos/kernel.h
@@ -0,0 +1,20 @@
+/*
+ * Copyright (C) 2017 Robin Krahl <robin.krahl@ireas.org>
+ * 
+ * This program is free software: you can redistribute it and/or modify it
+ * under the terms of the GNU General Public License as published by the Free
+ * Software Foundation, either version 3 of the License, or (at your option)
+ * any later version.
+ *
+ * This program is distributed in the hope that it will be useful, but WITHOUT
+ * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
+ * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License for
+ * more details.
+ */
+
+#ifndef GARMOS_KERNEL_H
+#define GARMOS_KERNEL_H
+
+void ker_dbg(char *s);
+
+#endif