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

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

#include "pico/stdlib.h"

int main() {
  const uint8_t led_pin = 9;
  const uint8_t button_pin = 10;
  gpio_init(led_pin);
  gpio_set_dir(led_pin, GPIO_OUT);

  gpio_init(button_pin);
  gpio_set_dir(button_pin, GPIO_IN);
  gpio_pull_up(button_pin);

  stdio_init_all();

  while (true) {
    gpio_put(led_pin, gpio_get(button_pin));

    sleep_ms(100);
  }
}