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, 20 insertions, 0 deletions

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