Published July 29, 2014 | Version camkes-02-01--2014-07-29
Software Open

Github open-source release of CAmkES, version 2.01

Authors/Creators

  • 1. NICTA & UNSW
  • 2. NICTA

Description

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

Files

camkes-camkes-02-01--2014-07-29.zip

Files (150.3 kB)

Name Size
md5:03da510ef11a991b8e147dfdf68a7a9b
150.3 kB Preview Download

Additional details

Related works

Is supplement to
https://github.com/seL4/camkes/tree/camkes-02-01--2014-07-29 (URL)