#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
) {
    static uint8_t counts = 10;
    printf("Current time: %li\n", zv_time_get_time());

    zv_event_set_timer(kernel, self, 500);
    --counts;

    if (counts == 0) {
        return ZV_TASK_KILLED;
    }

    return ZV_TASK_EVENT_WAIT;
}

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_boot(kernel);

    return 0;
}