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.


VM reset capability
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 18 Jun 2015 22:20:37 +0000 (17:20 -0500)
committerroot <root@v-test-r415-3.localdomain>
Thu, 18 Jun 2015 22:20:37 +0000 (17:20 -0500)
commitd57b407f9d05a21303bc2c94cbd5142de130be48
tree9eec2e37ee56b65578e9c6b4b18f1ed755c9be7c
parente4d65eb1a4af57179bd00c397120c78c9e5b32b1
VM reset capability

Allows reset of "normal" VM, a multiboot VM, or either the
ROS or HRT components of an HVM
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_types.h
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_halt.c