#include <stdio.h>
#include "freertos/FreeRTOS.h"
#include "freertos/task.h"
#include "driver/gpio.h"
#include "esp_log.h"

#define LED_VERDE  1
#define PUSH_BUTTON 2

void app_main() {
  //printf("Hello, Wokwi!\n");
  
  gpio_set_direction (LED_VERDE, GPIO_MODE_OUTPUT);
  gpio_set_direction (PUSH_BUTTON, GPIO_MODE_INPUT);

  while (true) {
    
    if (gpio_get_level (PUSH_BUTTON == 0)) {
        gpio_set_level (LED_VERDE, 1);
    }
    
    else gpio_set_level (LED_VERDE, 0);
    
    vTaskDelay(1000 / portTICK_PERIOD_MS);
  
  }
}