This project is mirrored from git://github.com/genodelabs/genode.git. Pull mirroring failed Mar 17, 2022.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update Mar 15, 2022.