PikeOS for MPU supports lockstep mode on the Cortex-R5 processor cores of the Xilinx Ultrascale+.
PikeOS for MPU features the same API and development environment as the classic PikeOS, but now is available for much more light-weight CPUs that do not have a MMU (Memory Management Unit). Watch our webcast which concludes a demonstration that runs PikeOS and PikeOS for MPU side-by-side on a Xilinx Ultrascale+ SoC.
More information at www.sysgo.com/pikeos-for-mpu