/** Definitions for serial port **/

void init_serial(int speed);
void send_serial(char c);
char get_serial(void);
void init_printf(void);