save-recorded-session file [-z|-u] [-independent-checkpoint] "bookmark" ["comment"]
Save the current session to a checkpoint file named file. The checkpoint starts at the virtual time represented by bookmark and will include all asynchronous input recorded since then and to the current point in time. It may take some time to save a session, since the current implementation of the command will replay it, starting at bookmark.
Use the -u flag to store uncompressed files when saving image data in craff format.
Use the -independent-checkpoint flag for saving the complete image data independent of earlier checkpoints, instead of just the modified data (which is the default).
To add a description to the checkpoint, use the comment argument. The comment is saved in the info file in the checkpoint bundle.
Simics Core
read-configuration,
write-configuration,
record-session,
set-bookmark