| 123456789101112131415161718192021222324 |
- #include "kernel.h"
- #include "scheduler.h"
- #ifndef ZV_BASIC_SCHEDULER_UNUSED
- zv_process_t * zv_kernel_basic_scheduler(zv_kernel_t *self) {
- for (zv_pid_t count = 0; count < self->processes_count; ++count) {
- zv_process_t *current = self->processes + count;
-
- if (zv_process_is_ready(current)) {
- return current;
- }
- }
- return NULL;
- }
- #else
- zv_process_t * zv_kernel_basic_scheduler(zv_kernel_t *self) {
- return NULL;
- }
- #endif
|