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