#include <jove/jove.h>
#include <jove/syscall.h>
#include <stdio.h>
#include <stdarg.h>

void
jove_kprintf(const char *restrict fmt, ...)
{
    va_list ap;
    va_start(ap, fmt);
    char buffer[256];
    vsnprintf(buffer, 256, fmt, ap);
    va_end(ap);

    for(char *c = buffer; *c; c++) _syscall_debug_putc(*c);
}