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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 5257ce9)
Added hypercall to read host TSC
authorPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 22 May 2012 19:52:40 +0000 (13:52 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Tue, 22 May 2012 19:52:40 +0000 (13:52 -0600)
commit22d574d818e8cdcf63a054915e4cbaec07a2b533
treee25e92db7a58d0c7b3801d2ecb6773953792fa52tree | snapshot
parent5257ce9721525328a025a443ac086e34e0dc6441commit | diff
Added hypercall to read host TSC
palacios/include/palacios/vmm_hypercall.h diff | blob | history
palacios/src/palacios/vmm_time.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project