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.


Assorted cleanup
authorPeter Dinda <pdinda@northwestern.edu>
Fri, 20 Sep 2013 21:02:16 +0000 (16:02 -0500)
committerroot <root@v-test-r415-3.localdomain>
Fri, 20 Sep 2013 21:02:16 +0000 (16:02 -0500)
commitffc83679ff6580fe325f505a91bf568660d663f7
tree06b70ad4222b38c22a91772c7bde926c587fa390
parent67e86022168d1a6a7dcc8d52b3aaef95d6a5139f
Assorted cleanup
linux_module/vm.c
linux_usr/v3_continue.c
linux_usr/v3_core_move.c
linux_usr/v3_pause.c
palacios/src/palacios/vm_guest.c