kc/core/stdio.c


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

#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);
}