#include <stdio.h>
#include <zivuos.h>

zv_state_t task_worker(
    zv_kernel_t *kernel,
    zv_event_t *event,
    zv_tid_t self,
    void *param
) {
    printf("Current time: %li\n", zv_platform_get_time());

    zv_event_set_timer(kernel, self, 500);
    return ZV_TASK_ANY_EVENT_WAIT;
}

zv_state_t task_idle(
    zv_kernel_t *,
    zv_event_t *,
    zv_tid_t,
    void *
) {
    return ZV_TASK_READY;
}

int main() {
    puts("ZivuOS event test unit.");

    zv_kernel_t kernel[1];
    zv_task_t tasks[10];

    zv_kernel_init(kernel, tasks, ZV_COUNT_TASKS(tasks));
    zv_kernel_create_process(kernel, task_worker, 0x01, NULL);
    zv_kernel_create_process(kernel, task_idle, 0x00, NULL);

    zv_kernel_boot(kernel);

    return 0;
}