#ifndef STDIO_H
#define STDIO_H

#include <stdarg.h>

#include <stddef.h>

#ifdef OS_ABAOS
#include "console.h"
#endif

#ifdef OS_LINUX
#include "kernel_stub.h"
#endif

#define EOF (-1)

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

#ifdef OS_ABAOS
void __stdio_set_console( console_t *console );
#endif

#endif //STDIO_H