In a GSoC project we implemented code generation from pysimCoder for the NuttX RT OS.
A video ( https://www.youtube.com/watch?v=iX_hfb6ZoR4 ) shows the control of the classical inverted pendulum using a STM32F746 Nucleo card, CAN bus, and code automatically generated from a pysimCoder block diagram.