#include <Arduino.h>
uint8_t USER_LED_GPIO = 2;
void init_userled_HAL(void) {
pinMode(USER_LED_GPIO, OUTPUT);
digitalWrite(USER_LED_GPIO, LOW);
}
void update_userled_HAL(void) {
digitalWrite(USER_LED_GPIO, millis() % 2000 > 1000);