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.


Minor tweaks
authorPeter Dinda <pdinda@northwestern.edu>
Tue, 26 Nov 2013 01:37:40 +0000 (19:37 -0600)
committerroot <root@v-test-r415-3.localdomain>
Tue, 26 Nov 2013 01:46:22 +0000 (19:46 -0600)
commit946b9684bf8fa50950f54d69b526c889743e3dae
treeb32d45730ac9fb8c68f3865fc6afd38aa9d8e515
parent99578627551cadf5f5c5b60b9700c4a1272d38f6
Minor tweaks

- vmxassist doesn't print errors for information output
- guest config script cleanup
palacios/src/palacios/vmx_assist.c
v3_config_guest.pl