Published November 23, 2018
| Version 10.1.1
Software
Open
seL4/seL4: seL4 10.1.1
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
See release notes: https://docs.sel4.systems/sel4_release/seL4_10.1.1
Files
seL4/seL4-10.1.1.zip
Files
(1.5 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:5ce8e1bc29347c1ec84eeaf7642d8628
|
1.5 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/seL4/seL4/tree/10.1.1 (URL)