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.


reworked VM stopping to avoid deallocation ordering issues
authorJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 16:28:23 +0000 (12:28 -0400)
committerJack Lange <jacklange@cs.pitt.edu>
Fri, 16 Sep 2011 16:28:23 +0000 (12:28 -0400)
commit401f28c04132e4f5ccafc145dcb69b6dee4afe4e
tree2e46af06761ff381bbdc2618f70ebfcce6e95d4e
parent47f2237e5c6a71a63f04bc3dc0215fbbe2f40490
reworked VM stopping to avoid deallocation ordering issues
linux_module/main.c
linux_module/palacios.h
linux_module/vm.c
linux_usr/v3_ctrl.h
linux_usr/v3_stop.c
palacios/src/palacios/vmx.c