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: 22f1d78)
Add hypercall for guest to get CPU frequency
authorLei Xia <lxia@northwestern.edu>
Tue, 4 May 2010 21:31:09 +0000 (16:31 -0500)
committerLei Xia <lxia@northwestern.edu>
Tue, 4 May 2010 21:31:09 +0000 (16:31 -0500)
commitaffa74f0a3ac623aaa3042e251771c04e63cf846
tree658236b890b2cabd0954e7fa09aad96a7a8cc17ctree | snapshot
parent22f1d78afcf33835e3fa43ea41bb43f80f761a8acommit | diff
Add hypercall for guest to get CPU frequency
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