Save-restore
Tools for saving and restoring the x86 state
While most ACL2 objects can be serialized using ACL2::serialize, stobjs can not. The x86 state is an absstobj,
so we can't directly use serialize. Instead, we convert the state, excluding
the memory, into a cons tree and write that out to a file with serialize. Then,
we write the low n bytes, where n is user specified, of memory out to disk in
another file, thereby avoiding constructing a potentially very large cons tree.
Restoring the state is essentially the process in reverse.
Subtopics
- Restore-x86
- Save-x86
