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.


restructured device manager deinitialization
authorJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 04:23:46 +0000 (22:23 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Wed, 12 Jan 2011 04:23:46 +0000 (22:23 -0600)
commit4a13fd6e61111133266b79ec8ff1f84258f953f4
treea7cb6790556df1be2193590e04e1896097b81227
parentc31bb26014522e5678e9c9dcc9eda760eeb5907a
restructured device manager deinitialization
palacios/include/palacios/vmm_dev_mgr.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_dev_mgr.c