/*
 * 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
 */

#ifndef TASK_INC_TASK_SYSTEM_INTERFACE_H_
#define TASK_INC_TASK_SYSTEM_INTERFACE_H_

#ifdef __cplusplus
extern "C" {
#endif

extern void task_system_interface_init_event_queue(void);
extern void task_system_interface_put_event(task_system_ev_t event);
extern task_system_ev_t task_system_interface_get_event(void);
extern bool task_system_interface_any_event(void);

#ifdef __cplusplus
}
#endif

#endif /* TASK_INC_TASK_SYSTEM_INTERFACE_H_ */