Title: capDL tool set, version 1.0.0

Type Software Lewis, Corey, Klein, Gerwin, Boyton, Andrew, Greenaway, David, Fernandez, Matthew (2014): capDL tool set, version 1.0.0. Zenodo. Software. https://zenodo.org/record/11252

Authors: Lewis, Corey (NICTA) ; Klein, Gerwin (NICTA & UNSW) ; Boyton, Andrew (NICTA & UNSW) ; Greenaway, David (NICTA & UNSW) ; Fernandez, Matthew (NICTA & UNSW) ;

Links

• Item record in Zenodo
• Digital object URL

Summary

First open source release of the capDL tools on 29 July 2014.

Corresponds to seL4 API v1.03.

More information

• DOI: 10.5281/zenodo.11252

Subjects

• capDL, seL4

Dates

• Publication date: 2014
• Issued: August 11, 2014

Rights

• http://www.opensource.org/licenses/bsd-license.php BSD licenses (New and Simplified)
• info:eu-repo/semantics/openAccess Open Access

Format

electronic resource

Relateditems