#ifndef __EEDEBUG_H__
#define __EEDEBUG_H__
#include <tamtypes.h>
#include <kernel.h>
void __putc(u8 c);
void __puts(u8 *s);
int __printf(const char *format, ...);
#endif /* __EEDEBUG_H__ */