#ifndef ZIVUOS_KERNEL_H_INCLUDED
#define ZIVUOS_KERNEL_H_INCLUDED

#include <stdbool.h>

#include "process.h"

typedef struct zivu_kernel_s {
    bool is_static;
    size_t processes_count;
    zivu_process_t *processes;
} zivu_kernel_t;

zivu_kernel_t* zivu_kernel_init_dynamic();
void zivu_kernel_init_static(zivu_kernel_t*, zivu_process_t*, size_t);
void zivu_kernel_remove(zivu_kernel_t*);

#endif