Published December 3, 2018
| Version 10.1.1-mcs
Software
Open
seL4/seL4: MCS pre-release
Creators
- Anna Lyons1
- Adrian Danis
- yyshen
- Hesham Almatary
- Stephen Sherratt
- Amirreza Zarrabi
- Kent McLeod
- Gerwin Klein2
- Latent Prion
- Joel Beeren3
- Thomas Sewell4
- Adam
- Rafal Kolanski
- Alexander Boettcher5
- Partha Susarla
- Matthew Brecknell6
- Jeff Waugh
- Seb Holzapfel7
- Christopher Guikema
- Corey Richardson
- cloudier
- Robbie VanVossen8
- mktnk3
- mokshasoft
- Tim Newsham
- Luke Mondy9
- Jesse Millwood
- jsuann
- Nathan Studer8
- Curtis Millar
- 1. Data61 CSIRO
- 2. Data61
- 3. NICTA
- 4. Chalmers University
- 5. Genode Labs
- 6. @seL4 @data61
- 7. UNSW
- 8. DornerWorks
- 9. @SEL4PROJ
Description
Latest version of the MCS kernel, rebased onto seL4 10.1.1
Files
seL4/seL4-10.1.1-mcs.zip
Files
(1.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:74d0d26b053abdb7a6e8085c1c149075
|
1.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/seL4/seL4/tree/10.1.1-mcs (URL)