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

#define LED1_GPIO GPIO_NUM_25
#define LED2_GPIO GPIO_NUM_26

void app_main() {
  printf("Hello, Wokwi!\n");

  gpio_reset_pin(LED1_GPIO);
  gpio_set_direction(LED1_GPIO, GPIO_MODE_OUTPUT);

  gpio_reset_pin(LED2_GPIO);
  gpio_set_direction(LED2_GPIO, GPIO_MODE_OUTPUT);

  while (true) {
    gpio_set_level(LED1_GPIO, 1);
    gpio_set_level(LED2_GPIO, 0);
    vTaskDelay(1000 / portTICK_PERIOD_MS);
    
    gpio_set_level(LED1_GPIO, 0);
    gpio_set_level(LED2_GPIO, 1);
    vTaskDelay(1000 / portTICK_PERIOD_MS);
  }
}