PC-Lint-Plus (generic C++ compiler)
ARM Cortex-M (Cortex-M0/M0+/M3/M4/M4/M7)
- Cooperative QV Kernel (ARM-CLANG, ARM-KEIL, GNU-ARM, IAR-ARM )
- Preemptive Non-Blocking QK Kernel (ARM-CLANG, ARM-KEIL, GNU-ARM, IAR-ARM)
- Preemptive "Dual-Mode" QXK Kernel (ARM-CLANG, ARM-KEIL, GNU-ARM, IAR-ARM)
ARM Cortex-R (Cortex-R)
- Cooperative QV Kernel (GNU-ARM, IAR-ARM, TI-CCS toolchains)
- Preemptive QK Kernel (GNU-ARM, IAR-ARM, TI-CCS toolchains)
ARM7/ARM9 ("classic" ARM)
- Cooperative QV Kernel (GNU-ARM, IAR-ARM toolchains)
- Preemptive QK Kernel (GNU-ARM, IAR-ARM toolchains)
MSP430 ("classic" MSP430 and "extended" MSP430X)
- Cooperative QV Kernel (TI-CCS, IAR toolchains)
- Preemptive QK Kernel (TI-CCS, IAR toolchains)