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.


added user space configuration build system
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Nov 2009 07:25:28 +0000 (01:25 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 25 Nov 2009 07:25:28 +0000 (01:25 -0600)
commit3cf3fcc643f04aaa516da88a8ef3726cddfbbc0b
treec900de75534901ff25cc15e7ec8592c5076b462a
parent45050b17f19868689ef5437ced5810044dd57768
added user space configuration build system
utils/guest_creator/Makefile [new file with mode: 0644]
utils/guest_creator/README [new file with mode: 0644]
utils/guest_creator/ezxml.c [new file with mode: 0644]
utils/guest_creator/ezxml.h [new file with mode: 0644]
utils/guest_creator/ezxml.txt [new file with mode: 0644]
utils/guest_creator/main.c [new file with mode: 0644]
utils/guest_creator/out_format [new file with mode: 0644]
utils/guest_creator/test.xml [new file with mode: 0644]