#include <zivuos.h>

bool zv_idle_worker_check_tasks(zv_kernel_t *self) {
    for (zv_tid_t count = 0; count < self->tasks_count; ++count) {
        if (__zv_kernel_get_task(self, count)->state != ZV_TASK_EMPTY) {
            return true;
        }
    }

    return false;
}