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.


Add HVM configuration capability, init/deinit, etc
authorPeter Dinda <pdinda@northwestern.edu>
Mon, 23 Mar 2015 21:09:33 +0000 (16:09 -0500)
committerroot <root@v-test-r415-3.localdomain>
Mon, 23 Mar 2015 21:09:33 +0000 (16:09 -0500)
commit1c5bf75232c70f01570ddc8b075f9455b7c6ba34
tree2e5e19589e13fed6989dfbd5952117ee5b8a9b5a
parentc5ba903ae97ea49bbac5b660f76d2031c5302a3d
Add HVM configuration capability, init/deinit, etc
palacios/include/palacios/vm_guest.h
palacios/src/palacios/vm_guest.c
palacios/src/palacios/vmm.c
palacios/src/palacios/vmm_config.c