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

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

void setup(void)
{
    pinMode(LED_BUILTIN, OUTPUT);
}

void loop(void)
{
    digitalWrite(LED_BUILTIN, HIGH);
    k_sleep(K_MSEC(200u));
    digitalWrite(LED_BUILTIN, LOW);
    k_sleep(K_MSEC(200u));
}