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.


free configuration data during deinitialization
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 19:36:09 +0000 (13:36 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 19:36:09 +0000 (13:36 -0600)
commitf77cde571176f0fa2479ebc6bb99cc043aca2113
tree9f7331e9cf231f823cda4fe543b9a3cc06ccf374
parentb3662a67b9b28e2b0724ebb2ea10edccba5d2a5b
free configuration data during deinitialization
palacios/include/palacios/vmm_config.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c