#ifndef CX_ZIVUOS_KERNEL_H_INCLUDED
#define CX_ZIVUOS_KERNEL_H_INCLUDED

#include <stdbool.h>

#include "models.h"
#include "process.h"

typedef struct zv_kernel_s {
    zv_process_t **processes_stack;
    zv_pid_t processes_stack_size;

#ifndef ZIVUOS_DISABLE_DYNAMIC
    bool is_dynamic;
#endif

} zv_kernel_t;

zv_kernel_t * zv_kernel_create();
void zv_kernel_init(zv_kernel_t *, zv_process_t **, zv_pid_t);
zv_pid_t zv_kernel_count_processes(zv_kernel_t *);

#endif