#ifndef __HAL_H__
#define __HAL_H__

void tmos_clockInit(void);
void ble_hardwareInit(void);
void peripheral_init(void);

#endif /* __HAL_H__ */