kc/core/kprint.c


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

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

#include <stdarg.h>

__attribute__((optimize("O3")))
int kputchar(int c)
{
    return serial_putchar(c);
}

__attribute__((optimize("O3")))
int kputs(const char *s)
{
    while (*s)
    {
        kputchar(*s++);
    }

    return 0;
}