This project is mirrored from https://github.com/seL4/sel4test-manifest.git. Pull mirroring failed 2月 11, 2022.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer.
Last successful update 2月 09, 2022.