This project is mirrored from https://github.com/seL4/seL4.git.
Pull mirroring failed .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update .
-
-
-
-
-
1.0.0-rt-devb0797ce4 · ·
-
-
-
-
-
-
-
-
-
API-master-01-03--release-2014-08-10e88fe4e3 · ·
Intermediate release. Changelog: - added CONTRIBUTORS file - README improvements - IFC6410 build - remove unsupported integratorcp platform (#1) - additional cache clean in ARM boot code - python path cleanup; PYTHONPATH setting This signature certifies that the commits under this tag are the same as in the internal NICTA repositories (up to sha1 collisions).
-
API-experimental-01-03--release-2014-08-102213b9fe · ·
Intermediate release (experimental branch). Changelog: - added CONTRIBUTORS file - README improvements - IFC6410 build - remove unsupported integratorcp platform (#1) - additional cache clean in ARM boot code - python path cleanup; PYTHONPATH setting This signature certifies that the commits under this tag are the same as in the internal NICTA repositories (up to sha1 collisions).
-
API-experimental-01-03--release-2014-07-2950e219ec · ·
seL4 open-source release on 29 July 2014 (experimental branch). This signature certifies that the commits under this tag are the same as in the internal NICTA repositories (up to sha1 collisions).
-
API-master-01-03--release-2014-07-299711f813 · ·
seL4 open-source release on 29 July 2014. This signature certifies that the commits under this tag are the same as in the internal NICTA repositories (up to sha1 collisions).
-