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

extern "C" {
  void led_green_on();
  void led_green_off();
  void led_red_on();
  void led_red_off();
  void enable_green_led();
  void enable_red_led();
}

void setup() {
  gpio_set_direction(GPIO_NUM_2, GPIO_MODE_OUTPUT);
  gpio_set_direction(GPIO_NUM_4, GPIO_MODE_OUTPUT);
}

void loop() {
  led_green_on();
  vTaskDelay(1000 / portTICK_PERIOD_MS);
  led_green_off();
  vTaskDelay(1000 / portTICK_PERIOD_MS);
  led_red_on();
  vTaskDelay(1000 / portTICK_PERIOD_MS);
  led_red_off();
  vTaskDelay(1000 / portTICK_PERIOD_MS);
}