/*
 * Copyright (c) 2025 Lucas Dietrich <lucas.dietrich.git@proton.me>
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#include <Arduino.h>

#include <avrtos.h>
#include <avrtos/avrtos.h>

static uint16_t counter = 0;

void setup(void)
{
    printf("Hello, World!\n");
}

void loop(void)
{
    printf("Counter: %u\n", counter++);
    k_sleep(K_MSEC(1000));
}