Zynq SoC support for the Genode OS framework - View it on GitHub