Xen-based ReVirt distribution (circa 2006)

Here is a snapshot of the Xen-based ReVirt system. Use at your own risk. Here is a brief introduction.

UML-based ReVirt distribution (circa 2006)

Here is a snapshot of the UML and ReVirt system. Use at your own risk. Here is a how-to file.

UMLinux-based ReVirt distribution (July 2003) (obsolete)

Here is a new snapshot of the UMLinux and ReVirt system. Use at your own risk. Some new features:

Replay on P4 should be robust in the presence of SMIs
RDTSC emulation allows use of newer distributions
Fixed a bug which caused UMLinux to crash if it swapped.
Now compiles with gcc 3.2

UMLinux-based ReVirt distribution (May 1, 2003)

Here is a snapshot of the UMLinux and ReVirt system. Use at your own risk.

The rest of this is obsolete

This is the source code for the project. Currently, it is just several tar files with the entire host and guest kernel sources included. We are working on separating the material out so that it can be applied using patches, but for now this is what we have.

Here are the files:
Host Kernel
Guest Kernel
Lilo

Host Kernel:
The host kernel tar file will create a directory called 2.4.18-revirt where the Linux kernel source files reside. One thing to note: There is an extra configuration we added called "Logging/Replay of processes." Make sure this in enabled, or else the UMLinux stuff will not work.

Guest Kernel:
The guest kernel tar file will create a directory called build-2.4.18, and this is where the guest kernel sources are. There is a UMLinux option used to turn on and off guest fast context switching. I would suggest trying to run without this option enabled first, then once everything is working, go ahead and enable it.

Lilo:
The lilo source with the necessary changes needed to allow our new VMM to work.

The UMLinux VMM:
The UMLinux VMM was ported to the host kernel in an effort to improve performance. This file is in the directory 2.4.18-revirt/umlinux, and will not be compiled as part of make modules. There is a make file in that directory used to compile the kernel module, and this must be done manually. Before running umlinux, you must:

insmod umlinux.o

to install the VMM. This has to be done every time you reboot.