043e264677
The checkpoint which is produced by this save method is a little bit different to the checkpoint which is produced by the --take-checkpoint command. It differs in the save-parameters so_state, funcExeInst, intRegs, _upc, _nupc, _when. Tests have shown that it probably does not affect the course of the program execution. Change-Id: Id776a10f2d40f71643e9edbb45d7368609309df4
This is an import of the old danceos svn repository. The Fail* development started with rev 187, but this git import only contains revisions 956 and newer due to directory structure changes. Imported from external gitsvn checkout. http://www.kernel.org/pub/software/scm/git/docs/howto/using-merge-subtree.html