runtime.h

#pragma once
 
#include <stdint.h>
#include <arch/mpu.h>
#include <conf/kernel.h>
 
 
typedef int (entrypoint_t)(void *);
 
struct OS_MPU_region {
    void * start;
    void * end;
};
 
struct OS_process_definition_t {
    struct OS_MPU_region mpu_regions[OS_TASK_MPU_REGIONS];
 
    struct OS_MPU_region rpc_interface; /* this is not an actual MPU region */
};
 
struct OS_thread_create_t {
    const struct OS_process_definition_t * process;
 
    entrypoint_t * entrypoint;
 
    void * data;
 
    uint8_t priority;
 
    uint8_t core;
};