Software Open Access
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
Name | Size | |
---|---|---|
seL4/seL4-10.1.1-mcs.zip
md5:74d0d26b053abdb7a6e8085c1c149075 |
1.5 MB | Download |
All versions | This version | |
---|---|---|
Views | 7,659 | 6,707 |
Downloads | 110 | 40 |
Data volume | 148.7 MB | 60.5 MB |
Unique views | 7,516 | 6,645 |
Unique downloads | 57 | 37 |