From 0041476a0f804db9266c54b8ce62a585e7b30890 Mon Sep 17 00:00:00 2001 From: Robin Krahl 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 ++++++++ include/garmos/kernel.h | 20 ++++++++++++++++++++ 2 files changed, 28 insertions(+) create mode 100644 include/garmos/kernel.h 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 +#include #include #include + +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 + * + * 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 -- cgit v1.2.3