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. --- include/garmos/kernel.h | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 include/garmos/kernel.h (limited to 'include') 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