From a54b2baac24a08b82791ede1491f31ce9408af3f Mon Sep 17 00:00:00 2001 From: "kaf24@firebug.cl.cam.ac.uk" Date: Wed, 15 Mar 2006 20:25:50 +0100 Subject: Implement console for Mini-os and also fix 2 bugs: a) in initialising new page table frames b) in initialising idle thread. Signed-off-by: Grzegorz Milos --- extras/mini-os/include/lib.h | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) (limited to 'extras/mini-os/include/lib.h') diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index 0bf458565c..7631349faf 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -56,13 +56,10 @@ #define _LIB_H_ #include - +#include /* printing */ -#define printk printf -#define kprintf printf #define _p(_x) ((void *)(unsigned long)(_x)) -void printf(const char *fmt, ...); int vsnprintf(char *buf, size_t size, const char *fmt, va_list args); int vscnprintf(char *buf, size_t size, const char *fmt, va_list args); int snprintf(char * buf, size_t size, const char *fmt, ...); -- cgit v1.2.3