Compile-time configuration of kernel runtime parameters. More...

Macros
#define	KERNEL_HAS_MEMORY_PROTECTION
	This turns on memory protection globally.

#define	MPU_STATE_SIZE 7
	How many MPU regions are saved per thread.

#define	MPU_HOSTED_STATE_SIZE 4
	How many MPU regions are always used based on in which process thread is hosted.

#define	OS_TASK_MPU_REGIONS 5
	How many MPU regions can process define.

#define	OS_STACK_SIZE @OS_STACK_SIZE@
	How big stack is? In bytes.

#define	OS_THREADS @OS_THREADS@
	How many threads can exist.

#define	OS_STACKS @OS_STACKS@
	How many stacks can be allocated.

#define	OS_PROCESSES @OS_PROCESSES@
	How many processes can be allocated.

#define	SLEEPERS_MAX (2 * OS_THREADS)
	How many sleeping threads can exist.

#define	CMRX_ARCH_SMP_SUPPORTED

#define	OS_NUM_CORES @CMRX_OS_NUM_CORES@

#define	OS_NOTIFICATION_BUFFER_SIZE 16

#define	CMRX_KERNEL_TRACING
	Enable / disable kernel tracing.

#define	CMRX_KERNEL_TRANSACTION_VERIFICATION
	Enable / disable kernel transaction verification.

#define	CMRX_IDLE_THREAD_SHUTDOWN_CPU
	Enable / disable stopping CPU if idle thread is executed.

#define	CMRX_RPC_CANARY
	Enable / disable RPC canaries.

Detailed Description

Compile-time configuration of kernel runtime parameters.

Do not modify this file directly. Use CMake options in your top-level CMakeLists.txt to alter generation of this file. Any changes done to this file may be overwritten by the build system!

Macro Definition Documentation

◆ CMRX_ARCH_SMP_SUPPORTED

#define CMRX_ARCH_SMP_SUPPORTED

◆ CMRX_IDLE_THREAD_SHUTDOWN_CPU

#define CMRX_IDLE_THREAD_SHUTDOWN_CPU

Enable / disable stopping CPU if idle thread is executed.

Idle thread can call WFI instruction to halt the CPU. Do not enable this if your timing provider is timed by clocksource that gets stopped while CPU is in WFI.

◆ CMRX_KERNEL_TRACING

#define CMRX_KERNEL_TRACING

Enable / disable kernel tracing.

◆ CMRX_KERNEL_TRANSACTION_VERIFICATION

#define CMRX_KERNEL_TRANSACTION_VERIFICATION

Enable / disable kernel transaction verification.

Transaction verification is a potentially expensive function. It mostly only needs to be activated whenever kernel code is changed in order to verify that the modified code is not executing nested commits.

◆ CMRX_RPC_CANARY

#define CMRX_RPC_CANARY

Enable / disable RPC canaries.

RPC canaries are values put on stack to ensure consistent state is retained across RPC calls and returns. These values can detect stack corruption caused by accident / bug but are trivial to bypass by an attacker.

◆ KERNEL_HAS_MEMORY_PROTECTION

#define KERNEL_HAS_MEMORY_PROTECTION

This turns on memory protection globally.

This is a partially obsolete and unsupported option. CMRX does not support running without memory protection activated as certain mechanism in the kernel are directly expecting MPU will intervene on specific bad behavior of the application.

◆ MPU_HOSTED_STATE_SIZE

#define MPU_HOSTED_STATE_SIZE 4

How many MPU regions are always used based on in which process thread is hosted.

◆ MPU_STATE_SIZE

#define MPU_STATE_SIZE 7

How many MPU regions are saved per thread.

◆ OS_NOTIFICATION_BUFFER_SIZE

#define OS_NOTIFICATION_BUFFER_SIZE 16

◆ OS_NUM_CORES

#define OS_NUM_CORES @CMRX_OS_NUM_CORES@

◆ OS_PROCESSES

#define OS_PROCESSES @OS_PROCESSES@

How many processes can be allocated.

◆ OS_STACK_SIZE

#define OS_STACK_SIZE @OS_STACK_SIZE@

How big stack is? In bytes.

◆ OS_STACKS

#define OS_STACKS @OS_STACKS@

How many stacks can be allocated.

◆ OS_TASK_MPU_REGIONS

#define OS_TASK_MPU_REGIONS 5

How many MPU regions can process define.

◆ OS_THREADS

#define OS_THREADS @OS_THREADS@

How many threads can exist.

◆ SLEEPERS_MAX

#define SLEEPERS_MAX (2 * OS_THREADS)

How many sleeping threads can exist.

Macros