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.


Live Migration Functionality
authorMark Cartwright, Diana Palsetia, and Steve Rangel <mcartwright@gmail.com,dianapalsetia2015@u.northwestern.edu,steverangel@u.northwestern.edu>
Thu, 19 Jul 2012 23:22:49 +0000 (18:22 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 Jul 2012 23:22:49 +0000 (18:22 -0500)
commit3716aafce2de9e12ed62bee37968bfc0e0eaed44
tree5ea9c348e8c7f46ec7a706ca2342b27e6598fec7
parente61e0890e6f13b1362cfffdcd287e90f1d41e443
Live Migration Functionality
Kconfig
palacios/include/palacios/vmm.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