Published April 13, 2018
| Version 9.0.0-mcs
Software
Open
seL4/seL4: MCS pre-release
Authors/Creators
- Adrian Danis1
- Anna Lyons2
- yyshen
- Hesham Almatary
- Stephen Sherratt
- Gerwin Klein1
- Kent McLeod
- Latent Prion
- Joel Beeren3
- Thomas Sewell3
- Corey Richardson
- Rafal Kolanski
- Alexander Boettcher4
- Partha Susarla
- Matthew Brecknell5
- Jeff Waugh
- cloudier
- Robbie VanVossen6
- mktnk3
- mokshasoft
- Tim Newsham
- Luke
- jsuann
- Zhicheng Wei7
- Siwei Zhuang8
- Corey Lewis1
- Christian Helmuth4
- Bruce Mitchener9
- Berkus Decker10
- Alejandro Gómez-Londoño
- 1. Data61
- 2. Data61 CSIRO
- 3. NICTA
- 4. Genode Labs
- 5. @seL4 @data61
- 6. DornerWorks
- 7. Waiting for Job
- 8. Data61, CSIRO
- 9. @endoli
- 10. @twilio
Description
See release notes: https://docs.sel4.systems/sel4_release/seL4_9.0.0-mcs
Files
seL4/seL4-9.0.0-mcs.zip
Files
(1.4 MB)
| Name | Size | Download all |
|---|---|---|
|
md5:087015b8877ee8f3381ca8e042e94379
|
1.4 MB | Preview Download |
Additional details
Related works
- Is supplement to
- https://github.com/seL4/seL4/tree/9.0.0-mcs (URL)