os/include/kernel/tty.h
2024-07-11 08:57:44 +02:00

7 lines
168 B
C

#include <stdint.h>
void terminal_writestring(const char* data);
void terminal_initialize(void);
void terminal_putchar(char c);
void terminal_setcolor(uint8_t color);