# dosek-source.tar.gz #

This archive contains the dOSEK source code. The reliable
operating system was internally titled coredos, before it got its
published title dOSEK. The archive contains the full git development
history.  The I4Copter application is located under

    app/benchmark/coptermock

dOSEK is now released as open source and available at github
(https://github.com/danceos/dosek)

# erika-source.tar.gz #

This archive contains the sources I4Copter application for the ERIKA
operating system. The ERIKA OS can be obtained from the official SVN
repository at:

 svn://svn.tuxfamily.org/svnroot/erika/erikae/repos/ee/trunk/ee

The I4Copter application can then be placed at
    examples/x86/coptermock/

# used-data-points.tar.gz #

This archive contains the datapoints, which we used in our tex
files. It also includes the evaluated binaries, the FAIL* golden run
traces, and bootable iso images for every variant. The datapoints are
noted in dataref syntax (https://github.com/stettberger/dataref).