Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


hooking checkpoints into vmm execution
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 21:50:07 +0000 (17:50 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 21:50:07 +0000 (17:50 -0400)
commita9a6c3664c8fdbdb9841a55d1a2fca7f4fa8f5de
treef96488ba3a0484bf6ddd1c306b090fcea9f0370d
parent04c1f687aa0839b01711be22250903852f1a1257
hooking checkpoints into vmm execution
linux_module/iface-file.c
palacios/include/interfaces/vmm_file.h
palacios/include/palacios/vmm_checkpoint.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_checkpoint.c
palacios/src/palacios/vmm_chkpt_stores.h