/* This file is part of the Simba project.  */
int main()
/* This file is part of the Simba project.  */
int main()
{
    struct pin_driver_t led;
    sys_start();
    pin_init(&led, &pin_led_dev, PIN_OUTPUT);
    pin_write(&led, 1);
    while (1) {
        thrd_sleep_ms(500);
        pin_toggle(&led);
    }
    return (0);
}