Zynq SoC support for the Genode OS framework (migrated to codeberg.org) - View it on GitHub