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 up telemetry state and free backend state for the virtio devices
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 22:19:38 +0000 (16:19 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 22:19:38 +0000 (16:19 -0600)
commitaac189310cca0f5f14543d91413d3b5b58250a3e
tree9dd422f3692c930bf2519e55ae15466c1482048e
parentf77cde571176f0fa2479ebc6bb99cc043aca2113
free up telemetry state and free backend state for the virtio devices
palacios/include/palacios/vmm_telemetry.h
palacios/src/devices/lnx_virtio_blk.c
palacios/src/devices/lnx_virtio_nic.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_telemetry.c