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.


fix for intel hardware
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 18:34:02 +0000 (13:34 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 18:34:02 +0000 (13:34 -0500)
commitfeae9dcec518f57049429ee391f903745cb04749
tree00a7fff58ad34e3877b930c5fa699118a892de77
parent3df1b43b2bf76d14a1ffe62e27dc3a6c252b27a7
fix for intel hardware
palacios/include/palacios/vm_guest.h
palacios/include/palacios/vmcs.h
palacios/include/palacios/vmm_types.h
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_hw_info.h
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmm_config.c
palacios/src/palacios/vmx.c