#include "stage1.h"
#include <kernel/syscall.h>

void
kputc(char c)
{
    _syscall_payload[0] = c;
    syscall_invoke_noret(SYSCALL_DEBUG_PUTC);
}

void
kputs(const char *s)
{
    for(; *s; s++) kputc(*s);
}