#include "types.h"

#ifdef CONFIG_VGA
#include "graphics/vga.h"
#endif

/*
void kprint(const char* str) {
    #ifdef CONFIG_VGA
    while (*str) {
        vga_driver.putchar(*str, vga_color(VGA_BLACK, VGA_PURE_WHITE));
        str++;
    }
    #endif
}
*/