#ifndef __HAL_H
#define __HAL_H

#include <stdint.h>
#include "xc_drv_gpio.h"

extern void hal_mcu_init(void);
extern void hal_wdt_feed(void);
extern void hal_delayms(uint32_t ms);
extern void hal_led_set(uint8_t val);
extern void hal_uart_send(uint8_t *data, uint16_t length);
extern void hal_uart_sendbyte(uint8_t byte);
extern void hal_pwm_set(uint8_t pwm_idx, uint16_t duty);
extern uint8_t hal_rad_get(void);
extern uint16_t hal_adc_get(void);
extern uint32_t hal_tickcount(void);
extern uint32_t hal_random(void);

#endif