/* ========================================
 *
 * Copyright Analog Devices Inc, 2019
 * All Rights Reserved
 *
 * ========================================
*/

#include <system.h>
#include <timer.h>

#define PGOOD_LED_GPIO_PORT_PIN                        (GPIO_PORT_2_PIN_4)
#define PGOOD_LED_TIMER_PERIOD                         (500)
#define PGOOD_LED_TIMER_ID                             (0xC2)

typedef enum {
    OFF,
    ON,
    BLINK
} LED_STATE;

void set_led_state(LED_STATE state);
void blink_led();
void pgood_led_timer_cb(uint8_t port, timer_id_t id);

/* [] END OF FILE */
