Run eCos on the Mercury ZX1 Zynq module
Our friends from Antmicro have ported the free and open source eCos operating system to run on the Mercury ZX1 SoC module, allowing users to harness the power of the module's ARM A-9 in tandem with the real-time capabilities of eCos.
Have a look here: How to run eCos on Enclustra’s Mercury ZX1 Zynq module