/**
 * Copyright (c) 2020 Raspberry Pi (Trading) Ltd.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include "pico/stdlib.h"

#define INPUT_LED 5
#define OUTPUT_LED 11

int main() {

  gpio_init(OUTPUT_LED);
  gpio_set_dir(OUTPUT_LED, GPIO_OUT);

  gpio_init(INPUT_LED);
  gpio_set_dir(INPUT_LED, GPIO_IN);

  while (true) {
    while(gpio_get(INPUT_LED)){
      gpio_put(OUTPUT_LED, 1);
    }
      
    //sleep_ms(250);
    gpio_put(OUTPUT_LED, 0);
    //sleep_ms(250);
    }
}