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