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.


made the configuration builder interface a little more informative
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Dec 2009 04:49:38 +0000 (22:49 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Dec 2009 04:49:38 +0000 (22:49 -0600)
commitfb91fde04192e1d9a32f13ec2b7642495101ffb1
tree2c6aa27be2355cddb567b4f583f3aa1a5fb41f59
parent46eb34d1853799f1ad729b7713ec093c5c24a00f
made the configuration builder interface a little more informative
utils/guest_creator/default.xml
utils/guest_creator/main.c