kernel.h

 
#pragma once
 
#define KERNEL_HAS_MEMORY_PROTECTION
 
#define MPU_STATE_SIZE          7
 
#define MPU_HOSTED_STATE_SIZE   4
 
#define OS_TASK_MPU_REGIONS     5
 
#define OS_STACK_SIZE  @OS_STACK_SIZE@
#ifndef OS_STACK_SIZE
#   error "Stack size not defined! Fix your CMakeLists.txt!"
#endif
 
#define OS_THREADS              @OS_THREADS@
 
#define OS_STACKS               @OS_STACKS@
 
#define OS_PROCESSES            @OS_PROCESSES@
 
#define SLEEPERS_MAX            (2 * OS_THREADS)
 
#cmakedefine CMRX_ARCH_SMP_SUPPORTED
#ifdef CMRX_ARCH_SMP_SUPPORTED
#    define OS_NUM_CORES    @CMRX_OS_NUM_CORES@
#endif
 
#define OS_NOTIFICATION_BUFFER_SIZE     16
 
#cmakedefine CMRX_KERNEL_TRACING
 
#cmakedefine CMRX_KERNEL_TRANSACTION_VERIFICATION
 
#cmakedefine CMRX_IDLE_THREAD_SHUTDOWN_CPU
 
#cmakedefine CMRX_RPC_CANARY