#include "config.h"

#ifndef  _HAL_H_
#define  _HAL_H_



#define uHAL_VERSION_STRING	"Version 1.00  CONS HAL Code"


void uHALr_printf(const char* fromat);


void uHALr_InitInterrupts(void);
void uHALr_InstallSystemTimer(void);
void uHALr_InitTimers(void);
void uart_SendByte(s8 c);
void uart_init();

#endif