#ifndef ZIVUOS_KERNEL_H_INCLUDED
#define ZIVUOS_KERNEL_H_INCLUDED

#include "porttypes.h"
#include "process.h"
#include "worker.h"

typedef struct zv_kernel_s {
    zv_process_t *processes;
    zv_size_t processes_count;
#ifdef STATIC_ONLY
    zv_size_t processes_array_size;
#endif
} zv_kernel_t;

zv_kernel_t * zv_kernel_create();
void zv_kernel_init(zv_kernel_t *);
void zv_kernel_delete(zv_kernel_t *);

bool zv_kernel_new_process(zv_kernel_t *);

#endif