Checkpointing is one of the key features of a virtual platform. It allows work-flow optimizations and use cases that are impossible to achieve on physical hardware, and that can significantly increase the efficiency of developers. This whitepaper discusses checkpointing in general, what it can be used for, and how it is implemented in Simics.