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.


almost all deinitialization has been added
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Jan 2011 18:23:57 +0000 (12:23 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 13 Jan 2011 18:23:57 +0000 (12:23 -0600)
commite3cd4f1c180c7a59177c7108c495a2e27af9db10
treed7574da57067b5c45a40a01904dd1bc1d435ff8e
parentaac189310cca0f5f14543d91413d3b5b58250a3e
almost all deinitialization has been added
palacios/include/palacios/vmm_symbiotic.h
palacios/include/palacios/vmm_symmod.h
palacios/src/devices/pci.c
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm_dev_mgr.c
palacios/src/palacios/vmm_symbiotic.c
palacios/src/palacios/vmm_symmod.c