/**
   Copyright (c) 2020 Raspberry Pi (Trading) Ltd.

   SPDX-License-Identifier: BSD-3-Clause
*/

#include "pico/stdlib.h"

#define RED_LED    10
#define YELLOW_LED 7
#define GREEN_LED  4

#define BUTTON_A 15
#define BUTTON_B 2

void initialize() {
  // LEDS
  gpio_init(RED_LED);
  gpio_set_dir(RED_LED, GPIO_OUT);
  gpio_init(YELLOW_LED);
  gpio_set_dir(YELLOW_LED, GPIO_OUT);
  gpio_init(GREEN_LED);
  gpio_set_dir(GREEN_LED, GPIO_OUT);

  // BUTTONS
  gpio_init(BUTTON_A);
  gpio_set_dir(BUTTON_A, GPIO_IN);
  gpio_pull_up(BUTTON_A);
  gpio_init(BUTTON_B);
  gpio_set_dir(BUTTON_B, GPIO_IN);
  gpio_pull_up(BUTTON_B);
}

int main() {
  initialize();
  while (true) {
    gpio_put(RED_LED, !gpio_get(BUTTON_A));
    gpio_put(YELLOW_LED, !gpio_get(BUTTON_B));
    gpio_put(GREEN_LED, !(gpio_get(BUTTON_A) ^ gpio_get(BUTTON_B)));
    sleep_ms(10);
  }
}