Tags

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 Jan 19, 2024.
Repository mirroring has been paused due to too many failed attempts. It can be resumed by a project maintainer or owner.
Last successful update Jan 16, 2024.

12.1.0

21c1a2ca · Release 12.1.0 · Jun 10, 2021
12.0.0

dc83859f · Release 12.0.0 · Nov 06, 2020
11.0.0

ff216025 · Release 11.0.0 · Nov 20, 2019
10.1.1-mcs

f88d58aa · Fix scheduling behaviour on seL4_SchedContext_YieldTo · Dec 03, 2018
10.1.1

57e5417c · Release 10.1.1 · Nov 12, 2018
10.1.0

a3c341ad · Release 10.1.0 · Nov 07, 2018
mcs-tutorials

986cd980 · Fix scheduling behaviour on seL4_SchedContext_YieldTo · Oct 05, 2018
10.0.0-mcs

7a19c372 · Update version file for MCS kernel · Jun 12, 2018
10.0.0

5c7f7844 · Release 10.0.0 · May 28, 2018
9.0.1

0dd40b6c · Release 9.0.1 · Apr 18, 2018
9.0.0-mcs

b285a262 · Update version file for MCS kernel · Apr 12, 2018
9.0.0

f58d22af · Release 9.0.0 · Apr 11, 2018
8.0.0

396315f3 · Release 8.0.0 · Jan 17, 2018
7.0.0

220ed968 · update VERSION file to 7.0.0 · Sep 05, 2017
6.0.0

8564ace4 · update VERSION file to 6.0.0 · Jun 30, 2017
5.2.0-mcs

6c0dff0a · update VERSION file to 5.2.0-mcs · Jun 13, 2017
5.2.0

3695232f · update VERSION file to 5.2.0 · May 31, 2017
5.1.0

598c9d1e · update VERSION file to 5.1.0 · Apr 28, 2017
5.0.0

5453060b · update VERSION file to 5.0.0 · Mar 31, 2017
4.0.0

7d1df6af · update VERSION file to 4.0.0 · Dec 13, 2016