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: 8c5fc25)
moved timer injection to track total time instead of guest time
authorJack Lange <jarusl@cs.northwestern.edu>
Mon, 5 Apr 2010 23:18:09 +0000 (18:18 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Mon, 5 Apr 2010 23:18:09 +0000 (18:18 -0500)
commit1cd3b14a43f9c550a74c25dff43177e55192ceb1
tree90bff1aa768c3f6808f042735c63ceae46d182catree | snapshot
parent8c5fc25ccb8bb8a5b4fa62e9ea2792dcfd31b636commit | diff
moved timer injection to track total time instead of guest time
palacios/src/palacios/svm.c diff | blob | history
palacios/src/palacios/vmx.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project