#include <stdio.h>
#include "pico/stdlib.h"

#define botao_B1 22

#define led_vermelho 14

int main (){
  gpio_init(botao_B1);
  gpio_set_dir(botao_B1, GPIO_OUT);
  bool boot = gpio_get(botao_B1);

  if (boot == 0){
    reset_usb_boot(0,0);
  }

  gpio_init (led_vermelho);
  gpio_set_dir (led_vermelho, GPIO_OUT);
  gpio_put (led_vermelho, 1);

  while (true){
   sleep_ms(1);
  }
}