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.


removed xml feature bloat and fixed memory deallocation bugs
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 19:54:02 +0000 (15:54 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 26 Aug 2011 19:54:02 +0000 (15:54 -0400)
commit93a8c8c46dc39c3994a8eec0076c28eb14a77da1
tree47e8ef8f08bc27d2fa1cb640c091f6bde9f5bd1b
parentfc840af877d7b069a007fcc1eca88e31f5ec86f6
removed xml feature bloat and fixed memory deallocation bugs
palacios/src/palacios/vmm_xml.c