#ifndef __KERNEL_CONSOLE_H
#define __KERNEL_CONSOLE_H

#include <stdint.h>
#include <string.h>
#include <builtins.h>

void printk(const char*, ...) FORMAT_PRINTF;

class Console
{
    public:
	int putc(int);
	
	enum { BUFFER_SIZE = 1024 * 16 };

    protected:
	Console();
	~Console() {};

    private:
	size_t iv_pos;    
	char * iv_buffer;
};

#endif