1 2 3 4 5 6 7
#pragma once #include <stddef.h> void vga_write(const char *buf, size_t len); void vga_clear(void); void tty_init(void);