path: root/kernel/tty.h

#pragma once

#include <stddef.h>

void tty_putchar(char c);
void tty_write(const char *buf, size_t len);