1 #include <klibc/stdio.h>
2 #include <lunaix/spike.h>
3 #include <ulibc/stdio.h>
5 #include <usr/unistd.h>
7 // This is VERY bad implementation as it mixes both kernel and user space
8 // code together. It is here however, just for the convenience of our testing
10 // FIXME Eliminate this when we're able to load program.
13 printf(const char* fmt, ...)
19 size_t sz = __ksprintf_internal(buf, fmt, 512, args);
21 write(stdout, buf, sz);