60735f254e
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: I19b3fc809288224532e0ed6b7910a45115cb1c5d
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