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.


Linux userspace tools for live migration
authorDiana Palsetia, Steve Rangel, and Mark Cartwright <dianapalsetia2015@u.northwestern.edu,steverangel@u.northwestern.edu,mcartwright@gmail.com>
Thu, 19 Jul 2012 23:24:51 +0000 (18:24 -0500)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 19 Jul 2012 23:24:51 +0000 (18:24 -0500)
commit3711d0163d1dcba26b73a6427f3feefa8fc24733
tree0e0cffce4318f26c3bf74e5e820b39df06b24473
parent4b9f54d875c87a0b06337fb64239278d6cfc02fa
Linux userspace tools for live migration
linux_usr/Makefile
linux_usr/v3_ctrl.h
linux_usr/v3_receive.c [new file with mode: 0644]
linux_usr/v3_send.c [new file with mode: 0644]