#include "dev/uart0.h" #include <stdio.h> int putchar(int c) { uart0_writeb((char)c); return c; }