#ifndef __SCHEDULE_H #define __SCHEDULE_H #include <stdint.h> #define TASK_PERIOD (1) void schedule(void); void schedule_init(uint32_t task_period); void schedule_clock(void); #endif