capDL initialiser+loader, version 1.0.0

Public

Published in Zenodo (CERN European Organization for Nuclear Research) • Jul 29, 2014

Authors:

Andrew Boyton

,

Simon Rodgers

,

Matthew Fernandez

Abstract

First open-source release of the seL4 capDL initialiser/loader. Corresponds to seL4 API v1.03.

Finding related papers...

(0)

No comments yet

Be the first to share your thoughts!