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.


generic device changes
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Dec 2009 04:11:40 +0000 (22:11 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 1 Dec 2009 04:11:40 +0000 (22:11 -0600)
commit17e0fe3ae80a90f7268462f6109ab68929b25e16
tree1236e943e0d77a1fe26bc28c3b54ba0c32b855be
parent3852da1444b8ff6d7d057cb324b37ae368cfd688
generic device changes
utils/guest_creator/default.xml