Tags give the ability to mark specific points in history as being important
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-dev
b0797ce4 · · -
-
-
-
-
-
-
-
-
API-master-01-03--release-2014-08-10
e88fe4e3 · ·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-10
2213b9fe · ·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-29
50e219ec · ·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-29
9711f813 · ·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).
-