diff options
author | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-03-15 20:25:50 +0100 |
---|---|---|
committer | kaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk> | 2006-03-15 20:25:50 +0100 |
commit | a54b2baac24a08b82791ede1491f31ce9408af3f (patch) | |
tree | e6504405ba4086d61b1aa41e0122f0828e02dca1 /extras/mini-os/include | |
parent | 7999d904265804ce344cf05a6bdf76429439f9a8 (diff) | |
download | xen-a54b2baac24a08b82791ede1491f31ce9408af3f.tar.gz xen-a54b2baac24a08b82791ede1491f31ce9408af3f.tar.bz2 xen-a54b2baac24a08b82791ede1491f31ce9408af3f.zip |
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 <gm281@cam.ac.uk>
Diffstat (limited to 'extras/mini-os/include')
-rw-r--r-- | extras/mini-os/include/lib.h | 5 |
1 files changed, 1 insertions, 4 deletions
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 <stdarg.h> - +#include <console.h> /* 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, ...); |