#ifndef DEBUG_H
#define DEBUG_H
#include <stdint.h>
/*
* Internal initialization for the debugging module.
* This does NOT initialize the hardware!
*/
void debug_init( void );
void debug_send_string(char *str);
#endif // DEBUG_H