#include "serial.h"
#include "video.h"

#include <stdint.h>
#include <stdbool.h>

#include <libc/stdio.h>
#include <libc/string.h>

FILE *stdout;

int fputc(int c, FILE *f)
{
    (void)f;
    video_putchar(c);
    return serial_putchar(c);
}