seL4/seL4: MCS pre-release

Software OPEN SOURCE
Adrian Danis; Anna Lyons; yyshen; Hesham Almatary; Stephen Sherratt; Gerwin Klein; Kent McLeod; Latent Prion; Joel Beeren; Thomas Sewell; Corey Richardson; Rafal Kolanski; Alexander Boettcher; Partha Susarla; Matthew Brecknell; Jeff Waugh; cloudier; Robbie VanVossen; mktnk3; mokshasoft; Tim Newsham; Luke; jsuann; Zhicheng Wei; Siwei Zhuang; Corey Lewis; Christian Helmuth; Bruce Mitchener; Berkus Decker; Alejandro Gómez-Londoño;
(2018)

<p>See release notes: <a href="https://docs.sel4.systems/sel4_release/seL4_9.0.0-mcs">https://docs.sel4.systems/sel4_release/seL4_9.0.0-mcs</a></p>
Share - Bookmark

  • Download from
    Zenodo via Zenodo (Software, 2018)
  • Cite this software