00001 #ifndef __SERIAL_H 00002 #define __SERUAL_H 00003 00004 void serial_send_byte(int byte); 00005 00006 int printf(const char *format, ...); 00007 00008 #endif