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.


vmx updates
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 27 Apr 2011 16:55:10 +0000 (11:55 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 27 Apr 2011 16:55:10 +0000 (11:55 -0500)
commit7d780533980c895368aa404cbdd54f7bc2d91b40
treebe7cb0a97ad78624a040fce8ad5f8816abd1f151
parent259a6afe752758f5ef79b19d12b599a6419cecc9
vmx updates
palacios/include/palacios/vmx.h
palacios/include/palacios/vmx_hw_info.h
palacios/src/palacios/vmcs.c
palacios/src/palacios/vmx.c
palacios/src/palacios/vmx_hw_info.c