src/libc/stdio.h


1
2
3
4
5
6
7
8
9
10

#ifndef STDIO_H
#define STDIO_H

#include "drivers/framebuffer.h"

void print(char*);
void printc(char*,VIDEO_COLORS c);
void printi(int i);

#endif