#include <hardware.h>
#include <avr/io.h>

void hardware_user_led_init() {
  // User LED on port PB1
  DDRB|= 0x02;
}

void hardware_user_led_set(int state) {
  if (state)
    PORTB|= 0x02;
  else
    PORTB&= 0xFD;
}
