#pragma once
#include <stddef.h>

void vga_write(const char *buf, size_t len);
void vga_clear(void);

void tty_init(void);