How to get a checkpoint from sarek-solaris9.craff

I will assume that you have the following files, which I distributed for the purpose of 703 project, available in the simics/home/sarek directory.
1) sarek-solaris9.craff
2) sarek-common.simics, should replace the existing one in the directory
3) golden-1p.simics

Now, type ./simics golden-1p.simics
wait for the virtual machine's yellow screen and then type c to continue
wait for the virtual machine to boot, then type bash
To get to the host file system, type mount /host then you could access the host though the /host directory
now press crt+ c in the host's terminal, which you started simics, then the virtual machine should freeze, you then could take a checkpoint, by typing write-configuration checkpoint.check
Now you should have a checkpoint called checkpoint.check.

To load the newly created checkpoint, restart your simics by typing ./simics , then type read-configureation checkpoint.check .