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: f74d9fc)
removed TSC_OFFSET setting
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 19 Feb 2009 19:38:55 +0000 (13:38 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 19 Feb 2009 19:38:55 +0000 (13:38 -0600)
commit623de2de1c4a31c29975867343b7a78962094fee
tree7c601a9a3b935fcca447861a3e1f2288bc818195tree | snapshot
parentf74d9fc5aca041089829ad8acadfa1c80f8f2b95commit | diff
removed TSC_OFFSET setting
palacios/src/palacios/svm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project