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.


Added TSC passthrough specification to time handling
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 15 May 2012 18:16:41 +0000 (12:16 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 15 May 2012 18:16:41 +0000 (12:16 -0600)
commit5257ce9721525328a025a443ac086e34e0dc6441
tree5b58309391b895539c9f703e4891b38b77e3fbab
parent19d644a56702c93d42ee9596db960e66dc2d02e0
Added TSC passthrough specification to time handling
palacios/include/palacios/vmm_time.h
palacios/src/palacios/svm.c
palacios/src/palacios/vmm_time.c
palacios/src/palacios/vmx.c