misc.h

Leon3 & GPLIB libraries for CYGWIN/UNIX

unsigned long int GetTick();
void uart0_putc(int ch);
int puts(const char *astring);
int printf(const char *fmt, ... );
void SetupTimerAndUART(void);