#ifndef AT91_DBGU_H_
#define AT91_DBGU_H_

void at91_dbgu_init(void);

void at91_dbgu_putc(char c);
void at91_dbgu_puts(const char *p);
int at91_dbgu_write(void *base, const char *buf, size_t len);

#endif /* AT91_DBGU_H_ */