Vx-toolset - Tasking
If you are on ARM and already using Keil: . Keil’s compiler is also excellent. VX shines when you need ISO 26262 documentation. Otherwise, the ARM VX port is a niche within a niche.
If you want to know more about implementing this compiler, let me know: tasking vx-toolset
If you come from ld , prepare for culture shock. TASKING’s LSL is a full-fledged scripting language. If you are on ARM and already using Keil:
The real power emerges in debug. Lauterbach TRACE32 has native TASKING ELF support. tasking vx-toolset
Whether you need to meet a specific (e.g., ASIL D or SIL 3)
These are not macros. They are compiler intrinsics that respect pipeline hazards.