|  | @@ -0,0 +1,20 @@
 | 
	
		
			
				|  |  | +#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;
 | 
	
		
			
				|  |  | +}
 | 
	
		
			
				|  |  | +
 |