/* Board devices include file */

#ifndef BOARD_DEVICES_H
#define BOARD_DEVICES_H

extern const struct driver rng;
extern const struct driver gpio_c0;
extern const struct driver gpio_c1;
extern const struct driver gpio_c2;
extern const struct driver gpio_c3;
extern const struct driver pwm_4;
extern const struct driver pwm_3;
extern const struct driver pwm_2;
extern const struct driver pwm_1;
extern const struct driver pwm5_c2;
extern const struct driver pwm2_c4;
extern const struct driver uart_1;

#endif /* BOARD_DEVICES_H */