http://www.sciopta.com/news/LPC4300.html
SCIOPTA Safety RTOS ported to NXP LPC4300
March 26 2014 - SCIOPTA Systems AG has ported the safety certified SCIOPTA Real-Time Operating Systems to the NXP LPC4300 series dual-core CPUs.

The SCIOPTA LPC4300 RTOS is written in highly optimized assembler and specifically tuned for the ARM Cortex-M4F and ARM Cortex-M0 co