/*
 * Copyright (c) 2023 Juan Manuel Cruz <jcruz@fi.uba.ar> <jcruz@frba.utn.edu.ar>.
 * Copyright (c) 2026 Martin Javier Klöckner <mklockner@fi.uba.ar>
 *
 * See file `LICENSE` for full details
 */

#include "main.h"

#include "logger.h"
#include "dwt.h"

#include "app.h"
#include "task_leds_attribute.h"

void task_leds_interface_put_event(task_leds_ev_t event, task_leds_id_t identifier)
{
    task_leds_dta_t *p_task_leds_dta;
    p_task_leds_dta = &task_leds_dta_list[identifier];
    p_task_leds_dta->event = event;
    p_task_leds_dta->flag = true;
}