diff options
Diffstat (limited to 'extras/mini-os/include/lib.h')
| -rw-r--r-- | extras/mini-os/include/lib.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/extras/mini-os/include/lib.h b/extras/mini-os/include/lib.h index f386cb8053..0bf458565c 100644 --- a/extras/mini-os/include/lib.h +++ b/extras/mini-os/include/lib.h @@ -57,6 +57,7 @@ #include <stdarg.h> + /* printing */ #define printk printf #define kprintf printf |