Anna Lyons
Adrian Danis
yyshen
Hesham Almatary
Stephen Sherratt
Amirreza Zarrabi
Kent McLeod
Gerwin Klein
Latent Prion
Joel Beeren
Thomas Sewell
Adam
Rafal Kolanski
Alexander Boettcher
Partha Susarla
Matthew Brecknell
Jeff Waugh
Seb Holzapfel
Christopher Guikema
Corey Richardson
cloudier
Robbie VanVossen
mktnk3
mokshasoft
Tim Newsham
Luke Mondy
Jesse Millwood
jsuann
Nathan Studer
Curtis Millar
2018-12-03
<p>Latest version of the MCS kernel, rebased onto seL4 10.1.1</p>
https://doi.org/10.5281/zenodo.1867796
oai:zenodo.org:1867796
Zenodo
https://github.com/seL4/seL4/tree/10.1.1-mcs
https://doi.org/10.5281/zenodo.591727
info:eu-repo/semantics/openAccess
Other (Open)
seL4/seL4: MCS pre-release
info:eu-repo/semantics/other