Software Open Access

seL4/seL4: MCS pre-release

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

Latest version of the MCS kernel, rebased onto seL4 10.1.1

Files (1.5 MB)
Name Size
seL4/seL4-10.1.1-mcs.zip
md5:74d0d26b053abdb7a6e8085c1c149075 		1.5 MB Download
576
60
views
downloads
All versions This version
Views 57672
Downloads 603
Data volume 77.1 MB4.5 MB
Unique views 56071
Unique downloads 133
More info on how stats are collected.
Available in
Publication date:
December 3, 2018
DOI:
10.5281/zenodo.1867796

Zenodo DOI Badge

DOI 

10.5281/zenodo.1867796

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.1867796.svg)](https://doi.org/10.5281/zenodo.1867796)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.1867796.svg
   :target: https://doi.org/10.5281/zenodo.1867796

HTML 

<a href="https://doi.org/10.5281/zenodo.1867796"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.1867796.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.1867796.svg

Target URL 

https://doi.org/10.5281/zenodo.1867796

Related identifiers:
Supplement to:
https://github.com/seL4/seL4/tree/10.1.1-mcs
License (for files):
Other (Open)

Versions

Version 10.1.1-mcs 10.5281/zenodo.1867796 Dec 3, 2018
Version 10.1.1 10.5281/zenodo.1494402 Nov 23, 2018
Version 10.1.0 10.5281/zenodo.1479899 Nov 7, 2018
Version 10.0.0 10.5281/zenodo.1254325 May 28, 2018
Version 9.0.1 10.5281/zenodo.1219922 Apr 18, 2018
View all 24 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.591727. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export