Title: capDL initialiser+loader, version 1.0.0

Type Software Boyton, Andrew, Rodgers, Simon, Fernandez, Matthew, Bur, Cyril, Danis, Adrian (2014): capDL initialiser+loader, version 1.0.0. Zenodo. Software. https://zenodo.org/record/11254

Authors: Boyton, Andrew (NICTA & UNSW) ; Rodgers, Simon (NICTA) ; Fernandez, Matthew (NICTA & UNSW) ; Bur, Cyril (NICTA) ; Danis, Adrian (NICTA) ;

Links

• Item record in Zenodo
• Digital object URL

Summary

First open-source release of the seL4 capDL initialiser/loader.

Corresponds to seL4 API v1.03.

More information

• DOI: 10.5281/zenodo.11254

Subjects

• capDL, seL4

Dates

• Publication date: 2014
• Issued: July 29, 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