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

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


int main() {
    stdio_init_all();
    printf("Hello!\r\n");
    while (1) {
      // TODO
      sleep_ms(1000);
    }
}