kc/core/kstdio.c


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

#include "kprint.h"
#include "serial.h"

#include <lib.h>

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

FILE *kstdout;

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