Title: Github open-source release of CAmkES, version 2.01

Type Software Kuz, Ihor, Fernandez, Matthew, Zhuang, Siwei, Danis, Adrian (2014): Github open-source release of CAmkES, version 2.01. Zenodo. Software. https://zenodo.org/record/11246

Authors: Kuz, Ihor (NICTA & UNSW) ; Fernandez, Matthew (NICTA & UNSW) ; Zhuang, Siwei (NICTA) ; Danis, Adrian (NICTA) ;

Links

• Item record in Zenodo
• Digital object URL

Summary

This is the version of CAmkES that was released together with the seL4 microkernel (API version 01-03).

More information

• DOI: 10.5281/zenodo.11246

Subjects

• seL4, CAmkES, component system, microkernel, embedded systems

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