1 /* 2 * Copyright (c) 2023 Juan Manuel Cruz <jcruz@fi.uba.ar> <jcruz@frba.utn.edu.ar>. 3 * Copyright (c) 2026 Martin Javier Klöckner <mklockner@fi.uba.ar> 4 * 5 * See file `LICENSE` for full details 6 */ 7 8 #ifndef TASK_INC_TASK_SYSTEM_H_ 9 #define TASK_INC_TASK_SYSTEM_H_ 10 11 #ifdef __cplusplus 12 extern "C" { 13 #endif 14 15 extern uint32_t g_task_system_cnt; 16 extern volatile uint32_t g_task_system_tick_cnt; 17 18 extern void task_system_init(void *parameters); 19 extern void task_system_update(void *parameters); 20 21 #ifdef __cplusplus 22 } 23 #endif 24 25 #endif /* TASK_INC_TASK_SYSTEM_H_ */
