#ifndef DVGA_H
#define DVGA_H

#include <vfs.h>

void vga_init();
void vga_putchar(char c);

uint32_t vga_write(vfs_node_t* node, uint32_t offset, uint32_t size, uint8_t* buf);

#endif