#include <kernel/serial.h>
#include <kernel/tty.h>

void tty_putc(tty_t *tty, char c) {
    switch (tty->dev) {
        case DEV_COM1:
            serial_putc(COM1, c);
            break;
        case DEV_VGA_TXT:
            break;
        default:
            break;
    }
}