#pragma once #include void vga_write(const char *buf, size_t len); void vga_clear(void); void tty_init(void);