#ifndef KIO_H
#define KIO_H

#include <stdarg.h>

#ifdef __cplusplus
extern "C" {
#endif

void kio_bootstrap();

void kprintf(char * fmt, ...);

void kvprintf(char * fmt, va_list args);

void kputc(char c);

void kputs(char * s);

#ifdef __cplusplus
} /* extern "C" */
#endif

#endif