#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