#ifndef STDIO_H
#define STDIO_H

#include <stdarg.h>

#include "stddef.h"

#include "console.h"

#define EOF (-1)

extern console_t *global_console;

int puts( const char *s );
int printf( const char *format, ... );
int vprintf( const char *format, va_list args );

void stdio_set_console( console_t *console );

#endif //STDIO_H