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

int main(){
  const uint pinGreenLed = 11;
  const uint pinRedLed = 12;

  stdio_init_all();
  gpio_init(pinGreenLed);
  gpio_set_dir(pinGreenLed, GPIO_OUT);

  gpio_init(pinRedLed);
  gpio_set_dir(pinRedLed, GPIO_OUT);

  while(true){
    printf("Green on\n");
    gpio_put(pinGreenLed, true);
    sleep_ms(2000);
    printf("Green off\n");
    gpio_put(pinGreenLed, false);
    sleep_ms(2000);

    printf("Red on\n");
    gpio_put(pinRedLed, true);
    sleep_ms(2000);
    printf("Red off\n");
    gpio_put(pinRedLed, false);
    sleep_ms(2000);

  }

  return 0;
}