kernel.c 424 B

1234567891011121314151617181920
  1. #include <stdint.h>
  2. #include "kernel.h"
  3. #include "event.h"
  4. #include "process.h"
  5. void cm_kernel_init_static(
  6. cm_kernel_t *self,
  7. cm_process_t *processes,
  8. uint16_t processes_count,
  9. cm_event_t *events,
  10. uint16_t events_count
  11. ) {
  12. self->processes = processes;
  13. self->processes_count = processes_count,
  14. self->events = events;
  15. self->events_count = events_count;
  16. self->is_dynamic = false;
  17. }