include/kernel/tty.h


1
2
3
4
5
6
7
8
9
10
11

#ifndef KERNEL_TTY
#define KERNEL_TTY

#include <stddef.h>

void tty_init(void);
void tty_putchar(char c);
void tty_write(const char *data, size_t size);
void tty_writestring(const char *data);

#endif