HIPPEROS, the dedicated multi-core RTOS for Xilinx Zynq SoC and Zynq UltraScale+ MPSoC is taking shape fast now, as TULIPP is heading for the grand final at HiPEAC’19 and two new deliverables can be found here….. http://tulipp.eu/public-deliverables/
D3.2: Low power multicore RTOS release report
D3.3 Generic RTOS APIs and libraries documentation