#ifndef CX_MLEMOS_KERNEL_H_INCLUDED
#define CX_MLEMOS_KERNEL_H_INCLUDED

#include <stdint.h>
#include <stdbool.h>

#include "event.h"

typedef struct cm_kernel_s {
    struct cm_process_s *processes;
    uint16_t processes_count;
    
    struct cm_event_s *events;
    uint16_t events_count;

    bool is_dynamic;
} cm_kernel_t;

#endif