#ifndef CX_ZIVUOS_SCHEDULER_H_INCLUDED
#define CX_ZIVUOS_SCHEDULER_H_INCLUDED

#include "kernel.h"
#include "task.h"

void __zv_scheduler_update_tasks(zv_kernel_t *self);
zv_task_t * __zv_scheduler_find_task(zv_kernel_t *self);
void __zv_scheduler_run_task(zv_kernel_t *self, zv_task_t *target);

#endif