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: 3500a41)
Added RDTSC trapping if we are dilating time.
authorPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 27 Apr 2012 19:39:08 +0000 (13:39 -0600)
committerPatrick G. Bridges <bridges@cs.unm.edu>
Fri, 27 Apr 2012 19:39:08 +0000 (13:39 -0600)
commit1f24e07023a33e1219b822b18ae390c187aef8b0
treea70c1e4d86156816267fd1df2ff39f7d9764ed61tree | snapshot
parent3500a418f4ab8a5ce38c1480f107b5deb5712beecommit | diff
Added RDTSC trapping if we are dilating time.
palacios/src/palacios/vmm_time.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project