This project is a system called Capo3, a system for recording and
replaying Linux processes.  To build the system you compile the kernel
like normal, and select the "CONFIG_RECORD_REPLAY" configuration
option.  The source code for the kernel module is located at:

arch/x86/replay/replay.c

And scattered throughout the rest of the kernel.  To find the other
places where replay specific code resides try grepping for
CONFIG_RECORD_REPLAY and you will see the additions to the kernel
proper.

Development of this software was paid for in part by NSF grant CNS
08-34738, grant N0014-09-1-0743 from the Office of Naval Research,
AFOSR MURI grant FA9550-09-01-0539, and a gift from Intel as part of
the ISTC and center at UC Berkeley, and the I2PC center at the
University of Illinois.