kc/core/kstdio.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 <lib/kstdio.h>
#include <lib/kstring.h>

FILE *kstdout;

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