| 1234567891011121314151617181920 |
- #include <stdint.h>
- #include "kernel.h"
- #include "event.h"
- #include "process.h"
- void cm_kernel_init_static(
- cm_kernel_t *self,
- cm_process_t *processes,
- uint16_t processes_count,
- cm_event_t *events,
- uint16_t events_count
- ) {
- self->processes = processes;
- self->processes_count = processes_count,
- self->events = events;
- self->events_count = events_count;
- self->is_dynamic = false;
- }
|