Classes
struct	host_linux_profile

struct	bare_metal_arm_profile
	Bare-metal ARM profile for superloop or interrupt-woken deployments. More...

struct	freertos_arm_profile
	FreeRTOS profile for task-notification and queue-backed deployments. More...

struct	zephyr_arm_profile
	Zephyr profile for k_poll, semaphore, and tick-backed deployments. More...

struct	qnx7_profile
	QNX Neutrino 7.x profile for pulse-woken realtime process deployments. More...

struct	safety_profile
	Conservative production profile for safety-oriented embedded builds. More...

Functions
template<typename Profile >
consteval bool	compiler_satisfies_profile ()

template<typename Profile >
consteval void	enforce_compiler_profile ()
	Require the active compiler configuration to match `Profile`. More...

Function Documentation

◆ compiler_satisfies_profile()

template<typename Profile >

consteval bool tsm::platform::compiler_satisfies_profile ( )

Check whether the current compiler flags satisfy a target profile.

Exceptions and RTTI can be checked directly. Heap policy is enforced by resource contracts and the no-allocation vocabulary check.

template<typename Profile >

consteval void tsm::platform::enforce_compiler_profile ( )

Require the active compiler configuration to match Profile.